Comment by Peaker

A type-class or just a callback type, vs pattern-matching, yeah.