val _ = let val x = SOME [] in (valOf x = [1], valOf x = [true]) end