Using `impl Trait` for monomorphized heterogenous collections

See Representing closed trait objects as enums