@paleta@valigo I was wondering how come the Code type isn’t indexed by the result type. Without it you can’t statically check that code blocks can be combined.
@HostOfMeta I think the performance information is still there in the types. What I like is that the code doesn’t have to change when a pointer to a struct becomes a struct value.