https://123dok.net/document/q2n3xmw2-the-vectorial-λ-calculus.html