Containers Constructing Strictly Positive Types

by Michael Abbott A , Thorsten Altenkirch B , Neil Ghani C