Paolo Veronelli
Results
11
issues of
Paolo Veronelli
I've added support for constraint in DSum and DMap. ``` type family DSumC a :: Constraint data DSum (tag :: * -> *) (f :: * -> *) where (:=>)...