Change/higher kinded

This is the new higher-kinded scheme. 
Yes, except that LAMBDA_ARG_PREFIX is a name, not a string.