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.