[Haskell-cafe] Name for the following combinators?

Erik Hesselink hesselink at gmail.com
Sat Dec 28 18:46:55 UTC 2013

On Sat, Dec 28, 2013 at 5:13 PM, Tom Ellis
<tom-lists-haskell-cafe-2013 at jaguarpaw.co.uk> wrote:
> data Wrap m n a = Wrap (m (n a))

This is Compose [0] from traversable. It doesn't have a Monad
instance, though...


[0] http://hackage.haskell.org/package/transformers-

More information about the Haskell-Cafe mailing list