Xia Li-yao

Actually the generic implementations would subsume the `pXX` adaptors. I guess there is also a way to write the `pTXX` generically. With sufficient inlining it should also be possible to...

I found that `genericAdaptor` can already be optimized as much as what one might write by hand, with sufficient inlining. I'll put the benchmarks I made in a PR. I'm...

Beyond the fact that large tuples are smelly, it seems they also blow up compilation time and space usage. especially in combination with generics. I found this [relevant GHC issue](https://ghc.haskell.org/trac/ghc/ticket/5227)...

Right, other than explaining it in terms of sums and products, which is literally what `Generic` does, I don't know.

`genericAdaptor` here takes type `genericAdaptor :: (String -> String, [Integer -> Integer]) -> (String, Integer) -> c`, and the constraints deduce `Rep c` but that is not sufficient to deduce...

It seems instances of `Unzippable` (which defines `Unzip`) are missing for the standard types, which would cause that error for GHC < 8. instance Unzippable (,)

One big hurdle for this use case is that surgeries need a `Generic` instance to start from, so at best the modified instance can only be given to a separate...

Ah yes, transforming just the types without changing the runtime representation is indeed much easier, and there is actually a module for that in *generic-data* (not -surgery). There is already...

Sure, that sounds like a good feature to have! As you suggest, we could scrub out the strictness annotations (and possibly other metadata) at the edges of the `OR`, if...

Does adding custom extraction rules for `int` and whatnot fix this? On 10/17/19 12:27 AM, Yishuai Li wrote: > Blame coq/coq#7017 for all of these. >