found a spurious behavior (probably a bug) of type-nats
type-level test of typelevel addition and subtraction using runhaskell.