{-# OPTIONS_GHC -fplugin Undefined.Init.Plugin #-}

module Main where

main :: IO ()
main = return ()