Ryu Hasegawa Categorical Data Types in Parametric Polymorphism. 71-109 1994 4 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs4.html#Hasegawa94