@@ -48,8 +48,8 @@ For example, the
4848Only one implementation of an interface can be given for a type — implementations may
4949not overlap. Implementation declarations can themselves have constraints.
5050To help with resolution, the arguments of an implementation must be
51−constructors (either data or type constructors), variables or
52−constants (i.e. you cannot give an implementation for a function). For
51+constructors (either data or type constructors) or variables
52+(i.e. you cannot give an implementation for a function). For
5353example, to define a ``Show`` implementation for vectors, we need to know
5454that there is a ``Show`` implementation for the element type, because we are
5555going to use it to convert each element to a ``String``: