failP :: String -> P a