module A.A ( a ) where

a :: ()
a = ()