liquidhaskell-0.4.0.0: tests/pos/datacon1.hs

module DC () where

data Foo a = F a a a 

z :: Foo Int
z = F 1 2 3