Deterministic state machine API

[infinity0]

Hi, much of the current API is based on the IO monad. I wonder if it is possible to present a pure API instead, true to the Haskell spirit, that acts as a deterministic state machine?

https://github.com/quinn-rs/quinn is a rust QUIC library that implements the core protocol logic as a deterministic state machine, for example.