Magnus Therning: 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.
Tags: haskell quickcheck
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.