import GHC.Records
:set -XTypeApplications -XDataKinds
let foo = getField @"name"