Add `ReaderP`

[none]