Consider adding a type `ProductT`

Gabriella439 / Haskell-MMorph-Library

Monad morphisms

BSD 3-Clause "New" or "Revised" License

47 stars 26 forks source link

Open phischu opened 5 years ago

phischu commented 5 years ago

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?

Gabriella439 commented 5 years ago

@phischu: Sure, I will accept it