Testing out GHC's plugin feature