ir: Unary.type is optional.