fact: Example sum_from_0_to_10 : M unit := foreach (iota 100 0) (fun i => if i > 90 then abortT tt else liftC (get >>= (fun z => put (z + i)))).
imports: mathcomp(all_ssreflect) imonae_lib HB(structures) ihierarchy imonad_lib ifail_lib istate_lib