Experiments with search algorithms via guarded recursion Based on the cubical-mini and guarded-cm libraries. References: Ambridge, "Search over uniformly continuous decidable predicates on infinite collections of types"