{-# LANGUAGE ViewPatterns #-}

example f (f -> 4) = True

f (t -> Nothing) = "Nothing"
f (t -> Just _) = "Just"

g ((f, _), f -> 4) = True

multiline
    ( t ->
            Foo
                bar
                baz
        ) = True