you cannot have a lambda that’s generic for all <T>

Is this a hard and fast rule? What allows the last example compile?

fun <T> foo(baz: T) = fun (bar: T): T = bar

that’ll return a lambda that works for one type

Yes, I see now