scala univs except depfunc
scala universe with depfuncs