TypeFun.Data.Peano

data N

type family ToNat a :: Nat

type family FromNat a :: N

type family a :+: b :: N

type family a :-: b :: N

type family a :*: b :: N