@@ -185,12 +185,12 @@ instance Conder False where
186type family Cmp (a :: k) (b :: k) :: Ordering
186type family Cmp (a :: k) (b :: k) :: Ordering
188−{-| Pair a symbol (represetning a variable) with a type -}
188+{-| Pair a symbol (representing a variable) with a type -}
189infixl 2 :->
189infixl 2 :->
190data (k :: Symbol) :-> (v :: *) = (Var k) :-> v
190data (k :: Symbol) :-> (v :: *) = (Var k) :-> v
192data Var (k :: Symbol) where Var :: Var k
192data Var (k :: Symbol) where Var :: Var k
193− {-| Some special defaults for some common names -}
193+ {- Some special defaults for some common names -}
194 X :: Var "x"
194 X :: Var "x"
195 Y :: Var "y"
195 Y :: Var "y"
196 Z :: Var "z"
196 Z :: Var "z"