"Containers: Constructing strictly positive types."

Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics