module Nat (Nat) where
import GHC.Types