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

module Data02 where 

import Data02Lib 

{-@ test4 :: Nat -> Pair @-}
test4 x = P x (x - 1)