processInstances :: Archive -> Idris ()
processInstances ar = do
    cs <- getEntry [] "ibc_instances" ar
    mapM_ (\ (i, res, n, ins) -> addInstance i res n ins) cs
processInstances :: Archive -> Idris ()
processInstances ar = do
    cs <- getEntry [] "ibc_instances" ar
    mapM_ (\ (i, res, n, ins) -> addInstance i res n ins) cs
processInstances ar = do
    cs <- getEntry [] "ibc_instances" ar
    mapM_ (\ (i, res, n, ins) -> addInstance i res n ins) cs