Einleitung

Monade M, zur Modellierung einer Rechnung: c : : a→Mb

• Ausgaben beliebig (M anwenden)
• Eingabe ist immer Funktionsargument

Damit geht also folgendes nicht:

data SF a b = SF ( [a] -> [b] )

Lösung:

instance Arrow SF where ...

http://www.haskell.org/arrows/