-- @shouldFailWith UnknownName
module Main where

import M1