T13202a.script 82 Bytes
Newer Older
1
2
3
import GHC.Records
:set -XTypeApplications -XDataKinds
let foo = getField @"name"