liquidhaskell-0.9.0.2.1: tests/pos/IdNat.hs

module IdNat where

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