Do you think it is clearer not to show the implementation of lens in the Reader?