🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects