Case-class-and-enumeration-ify strokes, ineqs, most stamps