28 Apr
2009
28 Apr
'09
7:34 p.m.
I suspect your structure doesn't exist. A Kleisli algebra (a -> m b) has a full subalgebra (() -> m ()), but (() -> m b) is not an algebra (it is not closed). I'm guessing that the largest proper subset of (a -> m b) is just (() -> m ()). Dan Tony Morris wrote:
Michael Vanier wrote:
I've stumbled upon a structure that is like a weaker version of a monad, one that supports return and >> but not >>=. Has anyone seen this before, and if so, does it have a standard name?
Mike
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Are you sure it supports (>>) :: m a -> m b -> m b
and not mplus :: m a -> m a -> m a ?