Meijer, Erik, Hutton, Graham, "Bananas in space: extending fold and unfold to exponential types", , 1995