Follow-up: QuickCheck: shrinking like tuples, writing like applicative

Joachim wrote that

Your (\*/) operator reminds me of the applicative instance defined in https://hackage.haskell.org/package/successors-0.1.0.3/docs/Control-Applicative-Successors.html based on https://stackoverflow.com/a/41944525.

Ah, yes indeed! I actually started out defining an Applicative for Wane, but convinced myself that it wouldn't satisfy the laws. Maybe I was a little too quick to dismiss it.