instance [safe] MyShowProxy U -- Defined at T18071.hs:16:10