UserPathAnything :: (MonadError String m, MonadReader Env m) =>
                          (Identifier -> m (F.SemanticSig, F.Term))
                          -> Path -> m (F.SemanticSig, F.Term)
followUserPathAnything rootLookup (IdP ident) = rootLookup ident
follo
followUserPathAnything :: (MonadError String m, MonadReader Env m) =>
                          (Identifier -> m (F.SemanticSig, F.Term))
                          -> Path -> m (F.SemanticSig, F.Term)
followUserPathAnything rootLookup (IdP ident) = rootLookup ident
followUserPathAnything rootLookup (IdP ident) = rootLookup ident