Generics or otherwise, I just want type info to flow into and out of things like 'map' or 'SpecialContainer<T>', and for my editor to surface that information.