fn foo(l: Length…, t: Time…) -> Scalar