clinton 2017-03-03 16:00:17
Is there a way to partially apply type families that aren't constraints?
geekosaur 2017-03-03 16:13:04
clinton, I don't think you can do partial application at all at the type level
geekosaur 2017-03-03 16:13:33
you can defer checking, but there are no type lambdas and few and limited hacks to simulate them
clinton 2017-03-03 16:40:03
geekosaur: I've written it up on stackoverflow now http://stackoverflow.com/questions/42591536/partially-applied-type-families
clinton 2017-03-03 16:40:25
geekosaur: Basically I want to do with ordinary type families what I can do with constrained ones
