Trying to unstair my monads