1{-# LANGUAGE ViewPatterns #-} 2 3example f ( f -> 4 ) = True 4 5f (t -> Nothing) = "Nothing" 6f (t -> Just _) = "Just" 7 8g ((f, _), f -> 4) = True 9 10multiline (t -> Foo 11 bar 12 baz) = True 13