Use `S.empty`