Given the following contrived example, is it possible to write a get function that can handle any record with an a property?
get
a
type type_o