Unsatisfiable
=============
.. author:: Adam Gundry
.. date-accepted::
.. ticket-url::
.. implemented::
.. highlight:: haskell
.. header:: This proposal is `discussed at this pull request <https://github.com/ghc-proposals/ghc-proposals/pull/433>`_.
.. contents::
This proposal introduces a new built-in constraint form, ``Unsatisfiable``, as a
mechanism for introducing custom type error messages. It is similar to the
existing ``TypeError`` built-in type family, but it is more predictable when
errors are reported.
Motivation
----------
This file has been truncated. show original
