module A where

a :: ()
a = ()