On Saturday, 3 May 2025 at 03:11:14 UTC, Timon Gehr wrote: > > See e.g., https://ghc.serokell.io/dh > > In any case, comprehensibility is at most loosely related to > expressiveness. I think Haskell with all its extensions is too > complex for what it gives you in terms of expressiveness. Thanks for the explaination.