Interpreting () -> () function type declaration as (any*) -> (any*)