@@ -61,8 +61,6 @@ newtype Unify a =
64−-- TODO experiment with INLINE on the Unify instances
66instance Functor Unify where
64instance Functor Unify where
67 fmap func (Unify kv) =
65 fmap func (Unify kv) =
68 Unify $ \vars ok err ->
66 Unify $ \vars ok err ->