Will secure sync of self-verifiable data one day replace RPC/APIs as the main software integration mechanism? What new ideas, protocols and tooling do we need to grow the local first software ecosystem into a true industry segment? Let's discuss Monotone View Types and Co-transactional databases: a data-centric approach to Local First. INCLUDES LIVE DEMO.