-- | 'Unsatisfiable' type class and plugin to empower it.
module Unsatisfiable (
    Unsatisfiable,
    unsatisfiable,
    plugin,
) where

import Unsatisfiable.Class
import Unsatisfiable.Plugin