main contract Foo =
    type state = unit
    type foo = bar      // id
    type foo = Bar.baz  // qid
    type foo = 'bar     // tvar
    type foo = () => bar