Adding Read instances to data types