liquidhaskell-0.9.0.2.1: tests/pos/Datacon1.hs

module Datacon1 () where

data Foo a = F a a a 

z :: Foo Int
z = F 1 2 3