I think it’s referring to this definition from a 2018 paper: https://arxiv.org/abs/1803.10143 https://arxiv.org/abs/1803.10143 “An extended type system with l

I think it’s referring to this definition from a 2018 paper: https://arxiv.org/abs/1803.10143 https://arxiv.org/abs/1803.10143 “An extended type system with lambda-typed lambda-expressions” If I understand it correctly, it implies that a type itself may be a function.