Rename *T to *Compose, as it is misleading. They are not monad transformers, but merely a composition of two provided functors/semi-idioms/idioms
Replace self-types with inheritance
Rewrite if-expressions
Eliminate trivial map calls in generated code
Uncomment some tests, they are passing again
Temporarily disable if-blocks rewriting, it doesn't work the way it's implemented now, and I'm not sure how to fix it
Rename transformers.scala to composition.scala as more appropriate
Tiny fix + do not allow to implement Applying and not to implement Mapping