@@ -82,7 +82,7 @@ data UnifyState t = UnifyState {
82defaultUnifyState :: (Partial t) => UnifyState t
82defaultUnifyState :: (Partial t) => UnifyState t
83defaultUnifyState = UnifyState 0 mempty
83defaultUnifyState = UnifyState 0 mempty
86-- A class for errors which support unification errors
86-- A class for errors which support unification errors
88class UnificationError t e where
88class UnificationError t e where