module Module.DeprecatedPragma {-# DEPRECATED "this module is deprecated" #-} where