Doesn't using function* make laziness part of the type system, thereby allowing us to detect when we're mixing lazy and eager in functions in the same way we mi

Doesn't using function* make laziness part of the type system, thereby allowing us to detect when we're mixing lazy and eager in functions in the same way we might detect mixing integer and floating-point math in variables?