@hackage / unsatisfiable

Unsatisfiable type class

Latest0

Add this line in your cabal file

This package provides a

class Unsatisfiable (msg :: TypeError)

and

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

combinator.

There is also a plugin which

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

About