Rechenregeln (Beispiele)

• Nachrechnen für Maybe, für []
• ist das eine Monade?

  instance Monad [] where -- zweifelhaft
      return x = [x]
      xs >>= f = take 1 $ concat $ map f xs
  

• desgl. für „2`` statt „1``?
• Monad-Instanzen für binäre Bäume mit Schlüsseln ...
  • in Verzweigungen
  • in Blättern