module Undefined.Solve.Plugin (plugin) where

import GHC.Corroborate
import NoOp.Plugin (undefSolve, mkPureTcPlugin)

plugin :: Plugin
plugin :: Plugin
plugin = TcPlugin -> Plugin
mkPureTcPlugin TcPlugin
undefSolve