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