How can I do something like this?
type
working example if anyone wants to know
type A = object of RootObj B = ref object of A proc thing() : ref A = B() let x = thing() Run
type A = object of RootObj B = ref object of A proc thing() : ref A = B() let x = thing()