Four a Monad