More work on prototypes for typeclasses