Proof of the properties for constrained types (1996)

by Martin Sulzmann