fn negate(ty: Type) -> Type