Added Higher-Kinded Types to Types examples
Added improvement to Higher-Kinded Types to Types examples