filter readsPrec as suggested by @berewt in issue #4.