Vectorise.Monad.InstEnv
existsInst
lookupInst
lookupFamInst