HeinrichApfelmus/optimize-monad-trans — pull request #1 by Gabriel439 (2014-01-30 12:06:49+00:00)
Title: Added code and core results for code within a single module

As I guessed, once the consuming code is within the same module as the
definitions the core becomes identical. This suggests that the problem is
probably fixable using INLINABLE pragmas. I will continue working on this.