There is no such thing as Ur without /Web (and unless things have changed recently the author has no plans for decoupling them anytime soon). Ur/Web also lacks

There is no such thing as Ur without /Web (and unless things have changed recently the author has no plans for decoupling them anytime soon). Ur/Web also lacks incremental compilation, rendering it unusable for general purpose real world applications. Otherwise, as a modern ML that has improved upon existing MLs (Hakell included), it would be great to see it, 1ML, or other modern spin on SML take root in the FP community.