@@ -185,12 +185,12 @@ instance Conder False where
185185
186186type family Cmp (a :: k) (b :: k) :: Ordering
187187
188−{-| Pair a symbol (represetning a variable) with a type -}
188+{-| Pair a symbol (representing a variable) with a type -}
189189infixl 2 :->
190190data (k :: Symbol) :-> (v :: *) = (Var k) :-> v
191191
192192data Var (k :: Symbol) where Var :: Var k
193− {-| Some special defaults for some common names -}
193+ {- Some special defaults for some common names -}
194194 X :: Var "x"
195195 Y :: Var "y"
196196 Z :: Var "z"