Fixed `MaybeT` example in tutorial
Added `MMonad` instance for `Proxy`
Added useful equations to `Pipes.Prelude`