infix-type-constructors.md

@@ -32,7 +32,7 @@ That is, we want to define the type *constructor* `(+)`.  GHC's current choice (
 ```
 
 
-Yuk. **So I propose that varsyms can be used as type constructors, and not as type variables.**
+Yuk. So I propose that varsyms can be used as type constructors, and not as type variables.