Edwin M. Westbrook, Nicolas Frisby, Paul Brauner: Hobbits for Haskell: a library for higher-order encodings in functional programming languages. Haskell 2011: 35-46