Another reference to Note [Kind-changing of (~) and Coercible]

Authored by nomeata on Mar 14 2014, 6:26 AM.

Description

Another reference to Note [Kind-changing of (~) and Coercible]

Details

Committed
nomeataMar 14 2014, 6:26 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF4133ff86cbee: Reference Note [Kind-changing of (~) and Coercible]
Branches
Unknown
Tags
Unknown