On 4/12/2021 11:14 AM, Timon Gehr wrote: > non-compositional type > system design is a game of whack-a-mole resulting in progressively more > complexity while often maintaining a lack of soundness. I could never have expressed the notion as clearly as that.