On Tuesday, 8 August 2023 at 12:26:06 UTC, sighoya wrote: > > If we could eliminate ambiguities, I would be definitely for > it. Though we may need to know more about a type than just the > name and the size. You need the origin so you can compute a mangle. f(t1, t2) needs to yield mangle_of(f) ~ mangle(t1) ~ mangle(t2)