Prototype typer: generative typeclasses
We need to accept types that follow some rule (e.g. pairs of pairs of … comparable types are comparable).
This should be separated from the mechanism to automatically derive implementations for typeclass methods.
Edited by Suzanne Soy