module TopLevelSemis4 where data Foo = Foo -- After Foo ; -- After Foo semi data Bar = Bar -- After Bar ;