Less rigorous ghc settings to get rid of the Id with no unfolding