Homomorphic static analysis

Well, I agree that pointful Monads are a nice and useful abstraction most of the time. However I find the idea of static inspectability quite intriguing. For that I know currently 2 abstractions: Arrows and Selective. The problem with Selective is a) no syntax support and b) effects cannot depend on inputs at all, which means you can’t even do putStrLn in Selective. jaror: > Instead, I think we should just reckon with overloaded variable binding once and for all and avoid the complicating pointfree translation. So, again sorry, I am not sure I can follow you here. (Especially the point “overloaded variable binding”) Are you saying I should just bite the bullet, and give up inspectability so that I don’t need “pointfree” programing? Or are you saying there is a better abstraction to do this? (I have the inkling that I should just read “compiling to categories” and then maybe I understand what you mean with overloaded variable binding, but not sure …)