Ryan Scott

I agree that the `Generic1`-based default is rather clunky to use, to the point where I'd be surprised if anyone was actually using it in practice. That default predates `DerivingVia`,...

I'm not sure what you mean by "parameters" in the context of `adjunctions`. I was imagining that the only thing you'd need to specify is the type to use as...

For now, my inclination is to do whatever is simplest to specify, and the API you propose in https://github.com/ekmett/adjunctions/issues/71#issue-1177516196 fits the bill. My opinion is that the design space for...

Aside from the packaging issues (which are significant), it does feel odd to make single out `FunctorWithIndex` here, especially since `Representable` could also theoretically have `Applicative`, `Monad`, `MonadFix`, `MonadZip`, `MonadReader`,...

Thanks for the very thorough response, @ekmett! I also wish that the ergonomics of `cabal.project` allowed switching between `source-repository-package`s and submodules more easily. That being said, if using `tag: `...

> One concern I'm noting is that this workflow seems pretty brittle. When I go to do rebuilds after changes to the upstream branch, cabal gets confused, and fails to...

Ah, I didn't notice that you already switched to using a `source-repository-package` in `main`. In that case, I went ahead and pushed a commit leveraging that to fix CI in...

@ekmett, I'd like to get your opinion on the `Semigroup` instances for `Biff` and `Tannen` since they are `bifunctors`' variants of `Compose` from `Data.Functor.Compose`, and that you had expressed reservations...

@duairc As far as `Monoid` goes... perhaps you'd find a typeclass like `Bialternative` useful? ``` haskell module Data.Bialternative where import Control.Applicative import Data.Biapplicative import Data.Bifunctor.Biff import Data.Bifunctor.Clown import Data.Bifunctor.Flip import...

Personally, I'm not sure if this crosses the Fairbairn threshold in my mind, since literally every bifunctorial function in this library could have a variant like this. I'm similarly skeptical...