Fully reflective ordered iteration over maps