agda path query