pattern P :: () => (Num x, Eq y) => A x y
  	-- Defined at T8776.hs:6:1