Unpack parameters in Type::Top.normalize.