Update 0000-higher-kinded-types.md

Mainstream is one word