“In category theory, a monad builds on a certain morphism between categories. Practically speaking, this allows a function of type A => F[B] to be lifted to a function of type F[A] => F[B], for some type constructor F.”
Well, of course.
Excellent write up.
“In category theory, a monad builds on a certain morphism between categories. Practically speaking, this allows a function of type A => F[B] to be lifted to a function of type F[A] => F[B], for some type constructor F.”
Well, of course.