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

module LibRed where 

data Thing = ThingRed Int 

{-@ foo :: Int -> Thing @-}
foo :: Int -> Thing 
foo = ThingRed