Kind Polymorphic Functors This code is straight from Edward Kmett's talk on Undecidable Superclasses.