30 {-# LANGUAGE BangPatterns #-}; foo = case v of !True -> x -- True  function
31 {-# LANGUAGE BangPatterns #-}; foo = case v of !(Just x) -> x -- (Just x)  function
32 {-# LANGUAGE BangPatterns #-}; foo = case v of !(x : xs) -> x -- (x:xs)  function
33 {-# LANGUAGE BangPatterns #-}; foo = case v of !1 -> x -- 1  function
34 {-# LANGUAGE BangPatterns #-}; foo = case v of !x -> x  function
35 {-# LANGUAGE BangPatterns #-}; foo = case v of !(I# x) -> y -- (I# x)  function
38 {-# LANGUAGE BangPatterns #-}; foo = let !x = undefined in y  function
39 {-# LANGUAGE BangPatterns #-}; foo = let !(I# x) = 4 in x  function
40 {-# LANGUAGE BangPatterns #-}; foo = let !(Just x) = Nothing in 3  function
41 {-# LANGUAGE BangPatterns #-}; foo = 1 where f !False = 2 -- False  function
42 {-# LANGUAGE BangPatterns #-}; foo = 1 where !False = True  function
43 {-# LANGUAGE BangPatterns #-}; foo = 1 where g (Just !True) = Nothing -- True  function
44 {-# LANGUAGE BangPatterns #-}; foo = 1 where Just !True = Nothing  function
47 {-# LANGUAGE Strict #-} foo ~x = y  function
48 {-# LANGUAGE BangPatterns #-}; foo !(x, y) = x -- (x, y)  function
49 {-# LANGUAGE BangPatterns #-}; foo ![x] = x -- [x]  function
51 {-# LANGUAGE BangPatterns #-}; l !(() :: ()) = x -- (() :: ())  function