Skip to content

Document Typeable restrictions in User's Guide

Ryan Scott requested to merge wip/T25207-document-typeable-restrictions into master

There are various restrictions on what GHC's Typeable solver cannot solver for, such as its inability to create Typeable instances for types that contain type families (see #25207). These restrictions were not mentioned in the GHC User's Guide, however, so this patch takes the opportunity to do so.

Resolves #25207.

Merge request reports