packages feed

aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/ExplicitForAll/forall-instance-overlap.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE FlexibleInstances #-}

module ForallInstanceWithOverlap where

class C a

instance {-# OVERLAPPING #-} forall a. C [a] where