-* In export lists, T!(A,B) says that constructors A and B are exported,
- but not the type T. Similarly for classes.
+* In export lists, T|(A,B) says that constructors A and B are exported,
+ but not the type T. Similarly for classes.
+ We can't say T(T,A,B) and T(A,B) to export or not-export T respectively,
+ because the type T might have a constructor T.