Reorder Type, TypeCtors, and TypeCtor