Write: future work: type classes

Also added subsection about simulating type classes if there is enough
time to write this.