liquidhaskell-0.8.10.7: tests/errors/BadData0.hs

module BadData0 where

data Zog = Z Int
{-@ data Zoog = Z { mkZ :: Nat } @-}

frog = Z (0 - 5)