Modern type-ortiented constructions in programming language - View it on GitHub