class HasField (x :: k) r a | x r -> a where Source

Constraint representing the fact that the field x belongs to the record type r and has field type a. This will be solved automatically, but manual instances may be provided as well.