python311Packages.funsor 0 -> 1
attrpath: python311Packages.funsor
isn't the default python version