getType :: Monad m => InstanceBuilder a b m (Digraph a b)
getType = do (g, t, rs, r) <- get
             return t

-- | Saves the current type graph
getType :: Monad m => InstanceBuilder a b m (Digraph a b)
getType = do (g, t, rs, r) <- get
             return t

-- | Saves the current type graph
getType = do (g, t, rs, r) <- get
             return t

-- | Saves the current type graph