fix monadplus maybe and monadtrans state-t
fix mzeros
more silly examples