In the previous version, rcurry and rcurry' were mixed into a single typeclass. The unfortunate consequence is that rcurry can no longer be poly-kinded in the type of its list items, since being able to implement rcurry' requires ts :: [Type].
This change will allow a poly-kinded rcurry that can take lists with items of any kind.
acowley
commented
4 years ago
In the previous version,
rcurryandrcurry'were mixed into a single typeclass. The unfortunate consequence is thatrcurrycan no longer be poly-kinded in the type of its list items, since being able to implementrcurry'requirests :: [Type].This change will allow a poly-kinded
rcurrythat can take lists with items of any kind.