verbreiten

Verbreiten in einer Funktion ist das, was passiert, wenn der Aufrufer sich nicht darum kümmern muss, was im Fall eines Fehlschlags passiert. Beispielsweise könnte eine Funktion mit dem decides-Effekt von einer anderen Funktion mit dem decides-Effekt aufgerufen werden. Was auch immer den Anrufer angerufen hat, müsste sich dann um den Ausfall kümmern.