thenP :: P a -> (a -> P b) -> P b