liquidhaskell-0.8.10.1: tests/import/lib/NameClashLib.hs

module NameClashLib where 

data Foo = FooLib Int 

{-@ type FooAlias = {v : Foo | False} @-}
foo :: Foo -> Int 
foo _ = 10