Funktoren und Monaden

Jede Monade ist ein Funktor

class Functor m => Monad m where ...

Das fmap aus Functor kann man darstellen durch >>=, return bzw. durch do, <-, return

Vervollständige und beweise die Gesetze

( fmap f m ) >>= g    ==   m >>= ( ... )
m >>= ( fmap g . f )  ==   ...