Vectorise.Monad.InstEnv

existsInst

lookupInst

lookupFamInst