module A where

a :: ()