ghc

Short answers: The question’s key points, as I understand them, are the following: “is the auto-specialization transitive?” Should I only expect (+) to be specialized transitively with an explicit pragma? (apparently intended) Is this a bug of GHC? Is it inconsistent with the documentation? AFAIK, the answers are No, mostly yes but there are other … Read more