Simplify the way in which the coKindFun in CoercionTyCon is handled