Update 03-types-and-typeclasses.md