module Nats where 

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