More work on desugaring type classes into dictionaries