refactoring: pSomes to VarMonad