fourmolu-0.16.2.0: data/examples/declaration/signature/specialize/specialize-instance-four-out.hs

data Foo a = Foo a
data VT v m r = VT v m r

instance (Eq a) => Eq (Foo a) where
    {-# SPECIALIZE instance Eq (Foo [(Int, Bar)]) #-}
    (==) (Foo a) (Foo b) = (==) a b

instance (Num r, V.Vector v r, Factored m r) => Num (VT v m r) where
    {-# SPECIALIZE instance
        ((Factored m Int) => Num (VT U.Vector m Int))
        #-}
    VT x + VT y = VT $ V.zipWith (+) x y