Implement Either(Monad) and rename double to square.