{-# OPTIONS_GHC -fplugin=Plugin #-} module Main where main = print ()