I think the mold approach is a good one, until Constant Expression Value Arguments for Generic Resolution · Issue #320 · j3-fortran/fortran_proposals · GitHub is implemented. Then we can change it, although we should figure out how to design it so that we change it in a backwards compatible way.