module MV where

import MV1
-- Should fail as MV2 is not visible externally.
import MV2