Is this module, `Data.Argonaut.Decode.Generic.Rep`, real?

[itq148]

Describe the bug

In the README.md, I see this import block

...
import Data.Argonaut.Decode.Generic.Rep (genericDecodeJson)
import Data.Argonaut.Encode.Generic.Rep (genericEncodeJson)
...

But the Rep file doesn't seem to exist. Also, the compiler can't find the module:
Module Data.Argonaut.Encode.Generic.Rep was not found.

To Reproduce

For one thing, the official purescript-book-by-example doesn't import them as the README.md recommends:

https://github.com/purescript-contrib/purescript-book/blob/master/exercises/chapter10/test/no-peeking/Solutions.purs

Expected behavior

What is working:
import Data.Argonaut.Decode.Generic (genericDecodeJson)

What isn't:
import Data.Argonaut.Decode.Generic.Rep (genericDecodeJson)

I guess the README.md and the actual implementation are different. We need to fix either.

Additional context

For the specific environment, please checkout this codebase:
https://github.com/purescript-contrib/purescript-book/tree/master/exercises/chapter10