until -package:numeric-prelude -package:util -package:hedgehog -package:yesod-paginator -package:Cabal -package:clash-prelude -package:ghc-lib-parser package:sparse-linear-algebra -is:exact -is:exact

This function makes some default choices on the modifyInspectGuarded machinery: convergence is assessed using the squared L2 distance between consecutive states, and divergence is detected when this function is increasing between pairs of measurements.
untilConvergedG0 is a special case of untilConvergedG that assesses convergence based on the L2 distance to a known solution xKnown
", monadic version