module Undefined.Init.Plugin (plugin) where

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

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