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