{-# OPTIONS_GHC -fplugin CallCount.Pure.Plugin #-} module Main where main :: IO () main = return ()