diff --git a/src/stdlib.cg b/src/stdlib.cg
index 2efeb76..e308b9c 100644
--- a/src/stdlib.cg
+++ b/src/stdlib.cg
@@ -39,7 +39,7 @@ zipWith = f l1 l2 \ l1
     | [] \ []
     | [y, ...ys] \ [f x y, ...zipWith f xs ys]);
 
-# contains : a \ List a | Bool
+# contains : a \ List a \ Bool
 contains = x list \ list
   | [] \ False
   | [y, ...ys] \ (x == y