Index: libcfa/src/containers/array.hfa
===================================================================
--- libcfa/src/containers/array.hfa	(revision 6a4dae6e0323dcc1f2905f70abe7bd4bcdabb1c4)
+++ libcfa/src/containers/array.hfa	(revision 7882c58b916fdbdb54c76cb094c346b501c74823)
@@ -247,5 +247,6 @@
 
 // desired:
-// trait ar(A &, Tv &, [N]) {
+// forall(A &, Tv &, [N])
+// trait ar {
 //     Tv& ?[?]( A&, zero_t );
 //     Tv& ?[?]( A&, one_t  );
Index: libcfa/src/vec/vec.hfa
===================================================================
--- libcfa/src/vec/vec.hfa	(revision 6a4dae6e0323dcc1f2905f70abe7bd4bcdabb1c4)
+++ libcfa/src/vec/vec.hfa	(revision 7882c58b916fdbdb54c76cb094c346b501c74823)
@@ -79,5 +79,6 @@
 }
 
-trait dottable(V, T) {
+forall(V, T)
+trait dottable {
     T dot(V, V);
 };