I'm writing a macro that parses over object types and generates various
functions on it's fields. For the most part it works.
However, I'm will likely encountering folks trying to do this:
type
ssnType = Option[int]
type
Person = object
age: Option[int]
ssn: ssnType
Run
My macro can handle the "age" field because it's true type is easily parsed in
the Node tree. Both "Option" and "int" are known types and in a bracket. Got it.
"ssnType" is also visible, but that is an unknown type made by the library user.
Is there a way, given the string or symbol "ssnType", to somehow glean it's
earlier definition of "Option[int]"?
I've tried various plays with `getTypeImpl` and `getTypeImpl`, but I suspect
I'm missing some key knowledge.