:: Monad m => _

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.
Calls perror to indicate that the format string ended early.
Calls perror to indicate that there is a missing argument in the argument list.
Calls perror to indicate that there is a type error or similar in the given argument.
Used for compiler-generated error message; encoding saves bytes of string junk.
A special error value. If a property evaluates discard, it causes QuickCheck to discard the current test case. This can be useful if you want to discard the current test case, but are somewhere you can't use ==>, such as inside a generator.
The default value for this type.
Closure introduced by GHC.Stg.Unarise for unused unboxed sum fields. See Note [aBSENT_SUM_FIELD_ERROR_ID] in GHC.Core.Make
A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.
Warning: undefined remains in code
Warning: notImplemented remains in code
Warning: undefined function remains in code
A value that is never available. Rerun of hang from unamb, but replicated to avoid mutual dependency. TODO: Remove when this module is moved into the unamb-test package.
Deprecated: It is highly recommended that you either avoid partial functions or provide meaningful error messages