liquidhaskell-0.9.0.2.1: tests/pos/Nats.hs

module Nats where

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