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