Update 0000-higher-kinded-types.md

Address Tristan's comments