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