Related stuff has been here earlier ( <a href="https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/" rel="nofollow">https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketch...</a> and <a href="https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/" rel="nofollow">https://bartoszmilewski.com/2014/10/28/category-theory-for-p...</a> ).
I wanted also invest some of my time with the subject and tried to make a library which is easy to understand and take into use. Any ideas how to make this on some other imperative language? ( C# + roslyn comes into my mind at least)