type T = MkT { a :: Int + ! }