uses thing_b;
uses thing_c as c;

// thing_a
typedef here = (
    thing_b:b y,
    c:c yy,
);