Apply a function over every possible value of the given variable, without resolving it (unless it's already resolved).
See Implementation
Apply a function over every possible value of the given variable, without resolving it (unless it's already resolved).