The author seems to be creating a typed 2-tuple Integer i, NaturalNumber mod, and then implementing an equality function on these tuples. Am I missing something?