:3:5: error: • Non type-variable argument in the constraint: HasField "name" r a (Use FlexibleContexts to permit this) • When checking the inferred type foo :: forall r a. HasField "name" r a => r -> a