-- reader has an actual value of type Any that can be inspected
-- reader_ has a value of type _|_ instead
readerRead_ r = readerRead r $ error "Invariant broken: reader/reader_"
readerRead_ r = readerRead r $ error "Invariant broken: reader/reader_"
readerRead_ r = readerRead r $ error "Invariant broken: reader/reader_"