[Haskell-cafe] name for monad-like structure?

Dan Weston 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 ()).

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 at 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 ?
> 



More information about the Haskell-Cafe mailing list