The way comptime deals with generic types in zig is interesting, I wonder if an approach like that could work for go 2.0.