-- @shouldFailWith UnknownImport
module Main where

import M1 (X(..))