Haskell-MMorph-Library
Haskell-MMorph-Library copied to clipboard
Consider adding a type `ProductT`
I was looking for a type
data ProductT (f :: (* -> *) -> * -> *) (g :: (* -> *) -> * -> *) m a
= PairT (f m a) (g m a)
and was pleasantly surprised that this package already provides its sibling ComposeT
.
Would a type ProductT
be accepted in this package?
@phischu: Sure, I will accept it