postulate
   foo : Set