putGraph :: Monad m => Digraph a b -> InstanceBuilder a b m ()
putGraph g = do (_, t, rs, r) <- get
                put $ (g, t, rs, r)

-- | Gets the current type graph
putGraph :: Monad m => Digraph a b -> InstanceBuilder a b m ()
putGraph g = do (_, t, rs, r) <- get
                put $ (g, t, rs, r)

-- | Gets the current type graph
putGraph g = do (_, t, rs, r) <- get
                put $ (g, t, rs, r)

-- | Gets the current type graph