Fix pretty printing of IEThingWith
Fix pretty printing of IEThingWith

[skip ci]

(cherry picked from commit 018487e686793e22efd595491be5b5305ed2b9c0)

GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc,GaloisInc/halvm-ghc