On Monday, 11 June 2018 at 20:49:01 UTC, Stefan Koch wrote: > this can only work unambiguously if Son is defined nested > inside Parent. Thanks for your solution. Unfortunately, it really doesn't cover my use case.