FirstClassFuncs expansion