Still reworking type classes now that we know how to resolve them.