KindMismatch (Maybe TypeSource) Kind Kind	Expected kind, inferred kind
TooManyTypeParams Int Kind	Number of extra parameters, kind of result (which should not be of the form `_ -> _`)
TyVarWithParams	A type variable was applied to some arguments.
TooManyTySynParams Name Int	Type-synonym, number of extra params
TooFewTyParams Name Int	Who is missing params, number of missing params
RecursiveTypeDecls [Name]	The type synonym declarations are recursive
TooManyParams Name Type Int Int	Name of bind, bind signature, number of patterns given, expected number of parameters from signature. More patterns provided for a bind than expected, given its signature.
ClassNotDerivable	Deriving unsupported typeclass
Fields Name The thing that the user tried to derive String Description of the type declaration [PC] The supported typeclasses for deriving on this sort of type declaration
DerivingMissingSuperclasses	Deriving instance for a class without deriving instances for its superclasses
Fields PC The class listed in the deriving clause [PC] Its superclasses not listed in the deriving clause
TypeMismatch TypeSource Path Type Type	Expected type, inferred type
EnumTypeMismatch Type	Expected an enum type, but inferred the supplied `Type` instead, which is not an enum. This corresponds to the "Matched Expression Must Have a Known Enum Type" restriction for `case` expressions, as described in the Cryptol Reference Manual.
SchemaMismatch Ident Schema Schema	Name of module parameter, expected scehema, actual schema. This may happen when instantiating modules.
RecursiveType TypeSource Path Type Type	Unification results in a recursive type
UnsolvedGoals [Goal]	A constraint that we could not solve, usually because there are some left-over variables that we could not infer.
UnsolvableGoals [Goal]	A constraint that we could not solve and we know it is impossible to do it.
UnsolvedDelayedCt DelayedCt	A constraint (with context) that we could not solve
UnexpectedTypeWildCard	Type wild cards are not allowed in this context (e.g., definitions of type synonyms).
TypeVariableEscaped TypeSource Path Type [TParam]	Unification variable depends on quantified variables that are not in scope.
NotForAll TypeSource Path TVar Type	Quantified type variables (of kind *) need to match the given type, so it does not work for all types.
TooManyPositionalTypeParams	Too many positional type arguments, in an explicit type instantiation
BadParameterKind TParam Kind [Kind]	We expected one of the kinds in the list, but got the given one instead.
CannotMixPositionalAndNamedTypeParams
UndefinedTypeParameter (Located Ident)
RepeatedTypeParameter Ident [Range]
AmbiguousSize TVarInfo (Maybe Type)	Could not determine the value of a numeric type variable, but we know it must be at least as large as the given type (or unconstrained, if Nothing).
BareTypeApp	Bare expression of the form `{_}
UndefinedExistVar Name
TypeShadowing String Name String
MissingModTParam (Located Ident)
MissingModVParam (Located Ident)
MissingModParam Ident
FunctorInstanceMissingArgument Ident
FunctorInstanceBadArgument Ident
FunctorInstanceMissingName Namespace Ident
FunctorInstanceBadBacktick BadBacktickInstance
UnsupportedFFIKind TypeSource TParam Kind	Kind is not supported for FFI
UnsupportedFFIType TypeSource FFITypeError	Type is not supported for FFI
InvalidConstraintGuard Prop	The given constraint may not be used as a constraint guard
InvalidConPat Int Int	Bad constructor pattern. 1) Number of parameters we have, 2) Number of parameters we need.
UncoveredConPat [Name]	A `case` expression is non-exhaustive and does not cover the supplied constructor `Name`s.
OverlappingPat (Maybe Ident) [Range]	Overlapping patterns in a case
TemporaryError Doc	This is for errors that don't fit other cateogories. We should not use it much, and is generally to be used for transient errors, which are due to incomplete implementation.