@ssanj The absence or presence of implementation has no bearing on "is a monad."
-
-
@dibblego doesn't that mean you need a "bind" function? -
@ssanj No, it means the structure satisfies a particular shape. The implementation witnesses the fact. It does not alter the fact itself. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.