Stypetype Context s t a b = (Generic s, Generic t, GWrapped (Rep s) (Rep t) a b, UnifyHead s t, UnifyHead t s, ErrorUnlessOnlyOne s (Rep s))Peek#