Generic usage of Has Field env with Records

Question

Is there any way to use the Has Field env type class with Records.

The data-has package provides instances for Tuples but I