On Tuesday, 22 April 2025 at 19:53:10 UTC, WB wrote: > Most typed programming languages, other than maybe Haskell or > Ocaml can do it, but throwing it here, as a puzzle: > > ... > Any ideas, how to make it prettier, and avoid casts? I doubt it > is possible. Some random idea to myself. Y-combinator but on types. Maybe