Vectorise.Monad.InstEnv
lookupInst
lookupFamInst