As an experienced Haskell programmer and contributor, I want to introduce Category Theory and bring a new flexible and practical development approach to Rust.