Type_classes:_exploring_the_design_space