Recursive types (1989)

by �Fre89� P Freyd