Local-first apps must remain available even without a network, which makes classic transactions hard to use. We present Monotone-View Types, an experimental co-transactional model where programs observe state through views that are continually updated as new information arrives, so components compose cleanly and correctness is preserved via invariant-preserving updates.