liquidhaskell-0.8.10.7: tests/datacon/neg/Data01.hs

module Data00 where 

{-@ data Thing = Thing { fldThing :: Nat } @-}
data Thing = Thing { fldThing :: Int }


test2 :: Int -> Thing 
test2 = Thing