instance (
  Read a, -- Foo
  Read b
  , Read (
    c, -- Bar
    d
    )
  )
  =>
  Read (
    a, -- Baz
    b
    ,(
      c, -- Quux
      d
    )
  ) where
  readsPrec = undefined