Make the Lift instance lazier (#63)

* Make the Lift instance lazier

* Update changelog

CHANGES.md

@@ -2,6 +2,7 @@
 
 ## 0.6
 
+* Make the `Lift` instance lazier. See #63.
 * Stop supporting GHC <= 8.6. See #62.
 * Add `Control.Selective.Trans.Except` transformer. See #39.
 

src/Control/Selective.hs

@@ -371,8 +371,8 @@ instance Applicative f => Selective (SelectA f) where
 
 -- Note: Validation e a ~ Lift (Under e) a
 instance Selective f => Selective (Lift f) where
+    select (Pure (Right x)) _         = Pure x -- Lazy in the second argument
     select              x   (Pure  y) = either y id <$> x
-    select (Pure (Right x)) _         = Pure x
     select (Pure (Left  x)) (Other y) = Other $ ($x) <$> y
     select (Other       x ) (Other y) = Other $   x  <*? y