module T11662_A where data Rec = Rec { f :: Integer }