> On 9/02/2015, at 11:10, Kim Bruce <kim at cs.pomona.edu> wrote: > > methods added to a type rather than an implementation Hmm - hard (but not impossible) to see how this could work with structural types. J