Constructive type classes (0)

by M Wenzel, F Haftmann