@value interface Type {
  get () -> (weak Type)
}