2.58(b) uncompleted: deriv on infix type