Gesetze für Monaden (II)

• Gesetze für die Instanzen von List und Maybe überprüfen
• Gibt es eine korrekte Instanz für binäre Bäume?
  • mit Schlüsseln in Branch und nicht in Leaf
  • mit Schlüsseln in Leaf und nicht in Branch
• Gib eine inkorrekte Instanz für List, Maybe, Tree, die ...
  • typkorrekt ist
  • genau eines der Gesetze verletzt