liquidhaskell-0.6.0.0: tests/pos/idNat0.hs

module IdNat where 

{-@ nat :: Nat @-}
nat :: Int
nat = idd 0 

idd :: a -> a
idd = undefined