(Model: OUTPUT_MODEL) = struct     let (>>=) = Model.bind     let output chan t =       Model.output chan (to_native_string t)   end