--------------------------------------------------------------------------------

pJust :: (a -> Bool) -> Maybe a -> Bool
pJust xp (Just x) = xp x
pJust :: (a -> Bool) -> Maybe a -> Bool
pJust xp (Just x) = xp x
pJust xp (Just x) = xp x