Hi Chad I think what you are after is Haskell All-In-One: http://www.cs.utah.edu/~hal/HAllInOne/index.html As it happens, since that date Yhc has moved on to the point where: > yhc Main.hs -linkcore > loadCore "Main.yca" >>= writeFile "Main.hs" . coreHaskell Will get you a similar result - but with desugaring applied as well. Thanks Neil