Cosmetic:  Swapped a couple of extensions to alphabetize
Now ResultType is in its own module and uses type classes.