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