有多少种单子是虚拟单?