I think the critique is more valuable for other readers like the non-Hare users in these comment threads and in particular language designers, than at Hare deve

I think the critique is more valuable for other readers like the non-Hare users in these comment threads and in particular language designers, than at Hare developers. If it can inform Hare development to make a better language that's great too. If they choose their path ignoring it, that's their prerogative, but at least it was expressed and given a chance for adapting.