unsatisfiable

Unsatisfiable type class.

This package provides a

class Unsatisfiable (msg :: TypeError)

and

unsatisfiable :: forall msg a. Unsatisfiable msg => a

combinator.

There is also a plugin which

• Pretty-prints msgs of wantedUnsatisfiable, and

• Solves all other constraints if there is givenUnsatisfiable

The plugin also works with -fdefer-type-errors.