Why Bend 2's typechecker benchmarks are misleading (and its practical flaws) | Dark Hacker News