On Mon, Apr 28, 2014 at 05:21:29PM -0400, Mario Blažević wrote: > Did the Coproduct proposal then get rejected? :( > > http://www.haskell.org/pipermail/libraries/2012-December/019099.html I've put it in, though it's not a monad or applicative functor transformer.