
28 Apr
2009
28 Apr
'09
7:11 p.m.
On Tue, Apr 28, 2009 at 3:54 PM, Michael Vanier
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?
That's similar to Applicative, which supports fmap (via Functor), return (named pure) and ap (named <*>), and hence >> (named *>).