Reference. Close Encounters of the Higher Kind: Emulating Constructor Classes in Standard ML [nagashima-oconnor-2016]

We implement a library for encoding constructor classes in Standard ML, including elaboration from minimal definitions, and automatic instantiation of superclasses.