module Error-in-imported-module.M where

Foo : Set
Foo = Set