fourmolu-0.2.0.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