discover' :: FilePath -> Scope -> Isolate -> TreePos Empty Isolate -> IO (Maybe Section)
discover' dir scope s z = do
    let z' = insert (Node s []) z
    let proceed = scope `contains` Info.location z'
    if proceed then Just <$> discover dir scope z' else return Nothing
discover' :: FilePath -> Scope -> Isolate -> TreePos Empty Isolate -> IO (Maybe Section)
discover' dir scope s z = do
    let z' = insert (Node s []) z
    let proceed = scope `contains` Info.location z'
    if proceed then Just <$> discover dir scope z' else return Nothing
discover' dir scope s z = do
    let z' = insert (Node s []) z
    let proceed = scope `contains` Info.location z'
    if proceed then Just <$> discover dir scope z' else return Nothing