the `all_readers` might be an implicit behaviour of the defined type