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 11 ( t -> 12 Foo 13 bar 14 baz 15 ) = True 16