structure Ctx = Ctx ();

structure Term =
  Term (structure Ctx' = Ctx);