Document Coercible in the user guide

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

Description

Document Coercible in the user guide

as a subsection of "Equality constraints", containing references to the
module's haddock and to the paper. Fixes Trac #8888

Details

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