Monade M, zur Modellierung einer Rechnung: c : : a→Mb
Damit geht also folgendes nicht:
data SF a b = SF ( [a] -> [b] )
instance Arrow SF where ...
http://www.haskell.org/arrows/