Introduce MonadP, make PV a newtype