Abänderung der while-Schleifen in FunafituMonad