module T12681a where data A = A { a :: Int }