Beck's theorem for pseudo-monads