module A where a :: () a = 4