https://123dok.net/document/yr3j93dp-labeled-λ-calculus.html