-- in.cue --
out: {
	instance
}
instance: #Type & {
	alpha: bravo: charlie: true
}
#Type: #Root & {
	alpha?: bravo?: charlie?: bool
}
#Root: {...}
-- out/eval/stats --
Leaks:  0
Freed:  14
Reused: 7
Allocs: 7
Retain: 3

Unifications: 14
Conjuncts:    35
Disjuncts:    17
-- out/eval --
(struct){
  out: (#struct){
    alpha: (#struct){
      bravo: (#struct){
        charlie: (bool){ true }
      }
    }
  }
  instance: (#struct){
    alpha: (#struct){
      bravo: (#struct){
        charlie: (bool){ true }
      }
    }
  }
  #Type: (#struct){
    alpha?: (#struct){
      bravo?: (#struct){
        charlie?: (bool){ bool }
      }
    }
  }
  #Root: (#struct){
  }
}
-- out/compile --
--- in.cue
{
  out: {
    〈1;instance〉
  }
  instance: (〈0;#Type〉 & {
    alpha: {
      bravo: {
        charlie: true
      }
    }
  })
  #Type: (〈0;#Root〉 & {
    alpha?: {
      bravo?: {
        charlie?: bool
      }
    }
  })
  #Root: {
    ...
  }
}