Closed vapourismo closed 5 years ago
@vapourismo This looks great, thanks! The only change I'd make is dropping the ProductB
instance for Const
for now, what do you think?
Can this be merged?
Indeed! I'll also add instances for Compose
on the polykinded branch
This adds instances
FunctorB
TraversableB
ProductB
ConstraintsB
ProductBC
for base types
Proxy
(this corresponds to yourUnit
type)Product
Sum
Const