len l =
    runST $
    do
    dut <- list_dubst l
    t <- dubst_bst dut
    return $ bst_size t
len l =
    runST $
    do
    dut <- list_dubst l
    t <- dubst_bst dut
    return $ bst_size t
len l =
    runST $
    do
    dut <- list_dubst l
    t <- dubst_bst dut
    return $ bst_size t