ndmitchell
commented
5 years ago Maybe, but I honestly wonder if this is more a show-off feature, and not what people really want. I would have thought adding specific instances for a handful of special cases (e.g. adding (<*>) but with the m instantiated to (->)) might capture everything we actually care about.
The special handling of
(->)means that we can't easily find functions for queries that need to use thea ->functor. See here, for example: https://stackoverflow.com/questions/47779818/is-there-a-standard-function-that-computes-f-x-g-xA special case like what we do for
Maybe-returning query variants might do pretty well.