no need to ref Monad as jonas.Monad when creating aliases for other monads