until -package:numeric-prelude -package:base-prelude -package:hosc -package:numhask -package:hedgehog -package:free -package:mixed-types-num -package:intro -is:exact -package:linear-base package:dunai
Similar to Yampa's delayed switching. Loses a b in case of an
exception.
Run the first
msf until the second one produces
True
from the output of the first.