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