liquidhaskell-0.4.0.0: tests/pos/Class2.hs

module Class2 where

{-@ LIQUID "--idirs=../neg" @-}
import Class5

instance Foo ()