module T11970A1 where data Fail = Fail { a :: Int, b :: Int }