[Haskell-cafe] name for monad-like structure?
westondan at imageworks.com
Tue Apr 28 19:34:12 EDT 2009
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 ()).
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?
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Are you sure it supports
> (>>) :: m a -> m b -> m b
> and not
> mplus :: m a -> m a -> m a ?
More information about the Haskell-Cafe