Applied previous fix to Either as well

And added Sequence_ and MapM_ and ReplicateM_