{-# OPTIONS_GHC -fplugin RuleDefiningPlugin #-}
module Plugins07a where