module Issue641 where Foo : Set Foo = Set