Added documentation to Higher-Kinded Types in Types examples