absurd x = case x of
absurd = \case
absurd x = case x of {}
absurd = \case {}

foo = case () of {} 1