Advance the tutorial up to typeclasses.