PhD thesis work: code to extract and view low-level Haskell code