>> since otherwise, you can just bind the result of the functor to a structure once.. My understanding was that of lpw25's. I wanted to use applicative functor

>> since otherwise, you can just bind the result of the functor to a structure once.. My understanding was that of lpw25's. I wanted to use applicative functors in the same way type classes (or OCaml's modular implicits) would make use of them, but even without type class's implicit resolution (explicitly specifying them). I agree there isn't too much difference from doing the same with generative functors, but the main difference is, as you said, I would need to find a place (some appropriately accessible location in the namespace) by which to access the result of these generative functor applications, and that's just an extra point of friction (if I understand correctly). It's not the end of the world as you said either way because we can do either. Thanks for the help, jonsterling/lpw25.