Modelling Type Classes With Instance Arguments-Talk

This needs a code tag or something, the underscores around == are not visible!