https://123dok.net/document/zpnm62jo-cartesian-closed-categories-and-lambda-calculus.html