Enough monads