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