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