Yang, Bo
Since tuple/coproduct/hlist shares a lot of operations, is it possible to share type class definitions and XxxOps among tuple/coproduct/hlist ? I guess we can remove type constraint on type classes,...
The ListT implementation was right until 1fe66d311afb055d57af9ceb992e88bc65f56aaa Is there any reason why we let `ListT` be unlawful `ListT` in 1fe66d311afb055d57af9ceb992e88bc65f56aaa ?
Even if we have `CommutativeApply`, `ListT` is not a moand transformer because it cannot transform an arbitrary monad.
I created #2334 for `ListT` done right. Any feedback?
Thank you! I have merged some PRs that are obviously adding missing features. Still request for comment for the design changes in #2271
I merged https://github.com/scalaz/scalaz/pull/2271. Feel free to revert if you have any concern.
Since I didn't get feedback, I am going to merge #2337, #2278, and #2335. Feel free to revert them if you have any concerns.
Since I didn't get feedback, I am going to merge #2342. Feel free to revert them if you have any concerns.
I added more stack-safe type classes and tests.
Another approach is creating an opaque type alias of `ContT[Trampoline, ?, ?]`, and provide special type instances for the opaque type alias. I had implement this idea as a separate...