liquidhaskell-0.6.0.0: tests/pos/idNat.hs

module IdNat where 

{-@ nat :: Nat @-}
nat :: Int
nat = id 0 -- (id (id (id (id 0))))