A Haskell library to transform Yhc Core programs to first-order - View it on GitHub