+ package:typenums

The sum of two type-level numbers