module A where

x = ()