As for the transformations you're trying to implement. You are aware that they are already
implemented in GHC but without Hoopl?
Is that because the ghc code just hasn't been updated yet (no need to if it is already working) or because those sorts of transformations are outside the scope of what hoopl does (or was intended to do)?