Change/higher kinded

This is the new higher-kinded scheme. 
Can names be empty? (I guess not, but you never know :-))