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

module LibBlue where 

data Thing = ThingBlue Int 

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