On 30/05/2026 3:18 PM, monkyyy wrote: > 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? Anything effect based. I.e. value type exceptions.