Update of information in [AL0202T4]
Users may be unaware of axiomatic type classes, a new feature implemented by Markus Wenzel at Munich. Some documentation, in German, is now available .