T9371.hs:14:10:
    Conflicting family instance declarations:
      D = D1 (Either x ()) -- Defined at T9371.hs:14:10
      D (x, y) = D2 (x, y) -- Defined at T9371.hs:18:10