I meant the type, not the record element name; so this should be; ` key_list_state :: undefined | gc_key_list_state(),`