module A where a = ()