Darcs.Witnesses.Show
class Show1 a
class Show2 a