Travis Whitaker
Travis Whitaker
@angerman Do you have an example of a program that that the stripper breaks?
Pinging @hvr
What is required to merge this?
I don't see how the instances for `TVar` and `ForeignPtr` (and `IORef`) are anything like an instance for `(->) r`. All of the former types are explicit references; there's no...
> I think the point is that for most other structures the definitions of the provided instances pass through to the child types. What's a "child type"? If it's just...
@RyanGlScott @hvr what are the next steps for this PR?
Pinging @RyanGlScott @hvr how can this be moved forward?
I'm confused about what the `Rec`/`NoRec` wrappers have to do with the instances proposed in this PR. `UArray`, `ForeignPtr`, and `TVar` are not recursive types, and although their type constructors...
> The added NFData instances (different from what's in this PR) would go to NF (including the inner type) @chessai, wouldn't the "recursive" `NFData a => NFData (IORef a)` instance...
Pinging @hvr .