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

module Main where

main :: IO a
main = undefined