Type Alias Driver<Model, Message>

Driver: Readonly<
    {
        latest: Effect.Effect<Frame<Model, Message>>;
        send: (
            select: (model: Model) => Opt.Option<Message>,
        ) => Effect.Effect<void>;
        waitFor: <A>(select: (model: Model) => Opt.Option<A>) => Effect.Effect<A>;
    },
>

A user of a program that drive runs: it waits for what the frames show, and does what they show.