These two subroutines are almost the same except the LMUL encoding. We can use `NFList` in `NFSet` to remove duplicated code.
