Translating a Haskell core abstract syntax, which has gone through case-abstraction and lambda-lifting already, to Agda abstract syntax.
Authors: Patrik Jansson, Gregoire Hamon