Update 0000-higher-kinded-types.md

Correct the writing and structure