12 Apr
2016
12 Apr
'16
8:52 a.m.
On Apr 11, 2016, at 6:39 PM, Simon Peyton Jones
It's _nothing_ to do with whether the kind changes!
It's everything to do with cloning the binder if it is already in scope. See "Secrets of the GHC inliner", the section called "The rapier", I think.
Ah yes. Silly me. Thanks, Richard