"prime" monads?