add notes on type parameters, defining new typeclasses and kinds