module InsertWithoutPragma where

data A
instance Eq A