Witchcraft v0.5.0 Witchcraft.Monad
Because we are following the Functor -> Applicative -> Monad
hierarchy,
return
is already defined as pure
. bind
can be defined in terms of join
and lift
, so we only need to define join
for monads.
Summary
Functions
See Witchcraft.Monad.Function.compose/2