See if it would be possible (and maybe useful) to define instances of higher-kinded typeclasses like ApplyK for the types in sup.