open import bar

foobar : Set
foobar = foo