On Saturday, 30 May 2026 at 03:02:37 UTC, Richard (Rikki) Andrew Cattermole wrote: > > There are somethings that we can't do in our type system, Got an example of a useful thing?