2.58 uncompleted: deriv on infix type