{-# LANGUAGE InstanceSigs #-}
module InsertWithPragma where

data A
instance Eq A