On Wednesday, 13 January 2021 at 19:38:55 UTC, Paul Backus wrote: > That's what Variant is--a struct that models the universal > supertype (sometimes called "Top" or "Any"). Ahh right. Good point, so it already fits.