module A where

x = \case () -> ()