Added unit tests for Either re the monad laws