Rebuild Monad

Generic >>- causes serious runtime errors.