On Friday, 7 August 2020 at 21:39:44 UTC, H. S. Teoh wrote: > [snip] "Furthermore, it can dispatch to a type-erased implementation ala Java -- at your choice;" This is interesting. Would you just cast to Object?