4 ms·
Yeah, my definition works for all those examples.
by supermatt 3y ago
Yeah, my definition works for all those examples.
- bowsamic 3y agoOkay, then prove that your definition of a monad is isomorphic to the given definition
- deleted 3y ago[deleted]
- deleted 3y ago[deleted]
- uxp8u61q 3y agoHow does your "definition" (I will take that to mean "an abstract wrapper for some properties that you can apply sequential transforms on" from your first comment) apply to e.g. the monad whose algebras are monoids?