@ssanj The absence or presence of implementation has no bearing on "is a monad."
@ssanj A monad is any of: trait Monad[F[_]] extends Functor[F] { def bind[A, B](f: A => F[B]): F[A] => F[B]; def unit[A]: A => F[A] }
-
-
-
@runarorama@ssanj Agreed, I ran out of twitchars. - 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.