{-# OPTIONS_GHC -fplugin Undefined.Init.Plugin #-} module Main where main :: IO a main = undefined