diff options
| -rw-r--r-- | docs/users_guide/glasgow_exts.xml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml index e3c0e73dba..1923a7f8a8 100644 --- a/docs/users_guide/glasgow_exts.xml +++ b/docs/users_guide/glasgow_exts.xml @@ -5314,7 +5314,8 @@ Sum k1 k2 :: BOX L :: k1 -> Sum k1 k2 R :: k2 -> Sum k1 k2 </programlisting> -Note that <literal>List</literal>, for instance, does not get kind +where <literal>BOX</literal> is the (unique) sort that classifies kinds. +Note that <literal>List</literal>, for instance, does not get sort <literal>BOX -> BOX</literal>, because we do not further classify kinds; all kinds have sort <literal>BOX</literal>. </para> |