module M where

f = case () of
  () -> ()
  where x = x