Something I've been pondering: what would a crossover between missionary and https://github.com/lovrosdu/klor look like? Missionary's FRP semantics and klor's choreography? (I know that Electric more or less does this internally, but lifting choreography up to the missionary level would unlock some very interesting backend programming possibilities.)