Update types-and-typeclasses.html