Monads are too powerful: The expressiveness spectrum