returnP :: a -> P a