module M where

Foo : Set
Foo = Set