Note about one way to proceed. Function formals need to be literals, not vars, and we need to keep track of specific variants.