Enforce the same generic type between two functions

Thanks, was thinking along those lines as well.
One issue with that approach is that I can’t really restrict the Specification to take in a variant that will produce a string. That is another requirement to ensure the runtime behaviour will match.
I suppose that can’t done.