1. 1

    “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.

    1. 1

      Excellent write up.