Change/higher kinded

This is the new higher-kinded scheme. 
what is it for? this will end up being used for all kinds of stuff unless it's nailed down first