Collections.ICF_Refine_Monadic