search

ndmitchell / uniplate

Haskell library for simple, concise and fast generic operations.
Other
76 stars 8 forks source link

Higher Kinded Uniplate #14

Open tomberek opened 9 years ago

tomberek commented 9 years ago

Often a need arises to allow higher kinded variations of Uniplate. Eg: http://stackoverflow.com/questions/25355570/simplifying-a-gadt-with-uniplate. Is there a way to subsume Uniplate1,Uniplate2, etc.?

Can PolyKinds be used to unify them? SImilar to how Typeable2,3,4 was deprecated.

ndmitchell commented 4 years ago

I don't know, but that's super interesting. I think this sounds like a great idea, if someone knows what to do - but I don't!