1. If the left and right type are the same, it suggests the either is being used as a union and should be replaced with a simple union `a | b`. 2. If the left type is an effect, it suggests something odd has happened. The left should be a simple value, not an effect.