Countable and ConstOF are pinned at universe level 1. Generalizing constOF seems to break things downstream (at the time of writing, in GhostMap). It think the root of the issue might have to do with all universes in a BundledGFunctors needing the same universe, but I'm not 100% sure. Either way, this should be investigated sometime.
CountableandConstOFare pinned at universe level 1. GeneralizingconstOFseems to break things downstream (at the time of writing, inGhostMap). It think the root of the issue might have to do with all universes in aBundledGFunctorsneeding the same universe, but I'm not 100% sure. Either way, this should be investigated sometime.