Support _generating_ type class instances

[L-as]

This is much harder than it sounds.
Given a target language that supports type classes, we want to be able to make use of that feature.
This is useful if you're interacting with libraries in that ecosystem that use type classes.
This will be of heavy importance in a future PureScript or Rust backend.