let rec v_sin v = match v with
        |N i -> return_R (sin (float_of_int i))
        |R f -> return_R (sin f)
        |Vec (size, vec) -> make_vector size (fun i -> v_sin (vec i))
        |Zero -> return_R (sin 0.)
        |W -> W