On Sunday, 4 August 2013 at 16:18:48 UTC, bearophile wrote: > I am starting to think that to design type system features > sometimes you need formal mathematics, otherwise you build a > Swiss cheese. How would you account for yet undefined features like ARC?