Zustands-Transformatoren (Anwendung)

relabel :: Tree a -> State [b] (Tree b)
relabel t = case t of
  Leaf -> return Leaf
  Branch {} -> do
    l <- relabel $ left t
    k <- next
    r <- relabel $ right t
    return $ Branch {left=l,key=k,right=r}

• Zustands(transformator)monade ist mathematisches Modell (Nebenwirkung findet nicht statt, sondern wird modelliert)
• die (modellierte) Nebenwirkung erkennt man am Typ