diff --git a/docs/design/generics/goals.md b/docs/design/generics/goals.md
index e993f37d70ed..fc5f3c3c3f21 100644
--- a/docs/design/generics/goals.md
+++ b/docs/design/generics/goals.md
@@ -645,9 +645,9 @@ when recursion creates an infinite collection of types, such as in
 or:
 
 ```carbon
-fn Sort[Comparable T](List(T) list) -> List(T) {
+fn Sort[T:! Comparable](list: List(T)) -> List(T) {
   if (list.size() == 1) return list;
-  var List(List(T)) chunks = FormChunks(list, sqrt(list.size()));
+  var chunks: List(List(T)) = FormChunks(list, sqrt(list.size()));
   chunks = chunks.ApplyToEach(Sort);
   chunks = Sort(chunks);
   return MergeSortedListOfSortedLists(chunks);