How about leaving your type opaque but changing your implementation of 
parse to
        let parse s = Stringies.make (float_of_string s)
?
In my tests, this works as you intended.

Note that I would personally implement Stringies_IO a Functor over 
Stringies rather than having explicit dependencies.

Jacques