Darcs.Witnesses.Show
data ShowDict a
class Show1 a
class Show2 a