Was bedeutet das Naturgesetz für Traversables?
Das Naturgesetz besagt: t . traverse f == traverse (t . f) -- for every applicative transformer t Wenn nun für die RHS des Gesetzes f den Typ hat Applicative a => x -> a y, muss t (Applicative a, Applicative b) => a y -> b yaufgrund der Funktionszusammensetzung vom Typ sein . Für die...