$_="instance (GaA => G(aB where
    I = (IC
    (a1DH(a2E = (a1Ha2F
";for$=(b..z){s/A/, G$=A/;s/B/,$=B/;s/C/,IC/;s/D/,$=1D/;s/E/,$=2E/;s/F/,$=1H$=2F/;s/G/Monoid /g;s/H/ `mappend` /g;s/I/mempty/g;print/c1/&&$/,s/[A-F]/)/gr}