Abstract over all in-scope type variables when creating closures