> Free variables and closures

Are these even types? I always mentally filed closures under "implementation detail of nested functions".