introducing MVL type