Grace's Typechecking Trap: The Pitfalls of Bidirectional Inference

Bidirectional typechecking systems often struggle to infer common supertypes for heterogeneous collections, potentially leading to silent data loss during evaluation. This highlights the architectural challenge of balancing simplified type logic with robust type inference in modern language design.