measure (Fun f) = succ -- this counts 1 for the lambda
    $ measure $ f (Val 1)
measure (Fun f) = succ -- this counts 1 for the lambda
    $ measure $ f (Val 1)
measure (Fun f) = succ -- this counts 1 for the lambda
    $ measure $ f (Val 1)