Test with read-style typeclass