Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005)

by Michael Abott, Thorsten Altenkirch, Neil Ghani