в моём новом, прекрасном, сатирически-типизированном языке лямбды знания будут автоматически лифтиться в монаду иронии