liquidhaskell-0.6.0.0: tests/pos/nats.hs

module Nats where 

{-@ nats :: [Nat] @-}
nats :: [Int]
nats = [1,2,3,4,5,6,7,8,9,10]