@@ -236,8 +236,8 @@ function t1 = TypeApp (TypeApp tyFunction t1)
238-- The primitive types in the external javascript environment with their
238-- The primitive types in the external javascript environment with their
239−-- associated kinds. There is also a pseudo `Partial` type that corresponds to
239+-- associated kinds. There are also pseudo `Fail` and `Partial` types
240−-- the class with the same name.
240+-- that correspond to the classes with the same names.
242primTypes :: M.Map (Qualified (ProperName 'TypeName)) (Kind, TypeKind)
242primTypes :: M.Map (Qualified (ProperName 'TypeName)) (Kind, TypeKind)
243primTypes =
243primTypes =
@@ -257,8 +257,9 @@ primTypes =
260−-- The primitive class map. This just contains to `Partial` class, used as a
260+-- The primitive class map. This just contains the `Fail` and `Partial`
261−-- kind of magic constraint for partial functions.
261+-- classes. `Partial` is used as a kind of magic constraint for partial
262+-- functions. `Fail` is used for user-defined type errors.
263primClasses :: M.Map (Qualified (ProperName 'ClassName)) TypeClassData
264primClasses :: M.Map (Qualified (ProperName 'ClassName)) TypeClassData
264primClasses =
265primClasses =