You don't have to define any formal variables in that case. You still haven't specified what call is giving you an error. An example of a correct call is W(0)(lambda x: 1)(1) (here $t=0, f(x) = 1, x = 1$) which gives the result without error.