{-# LANGUAGE ViewPatterns #-}
f (id -> Just _) "" = ""
g (id -> True) = False