[Haskell-cafe] Question on Coerce

[Will Yager]

This optimization happens after Core. Core is typed, and this optimization only makes sense after type erasure. 

> On Dec 2, 2020, at 9:16 AM, Brent Walker <brenthwalker at gmail.com> wrote:
> 
> 
> At least up to the core representation (generated with -O2) the optimization you suggest has not happened (see the marked line below).  Does it happen further down the pipeline?