Better Comment [Kind-changing of (~) and Coercible]

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

Description

Better Comment [Kind-changing of (~) and Coercible]

Details

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