To be clear, i'm suggesting that given a type, T, you can use zipper to auto-calculate
- Context data, C[T], that will serve as the type of paths into T.
- These paths have a natural interpretation as URLs to locations in an inhabitant (aka instance) of T.
- The type+focus combination gives a natural place to hang the CRUD operations.
Finally, there is a natural extension of this framework to more generally distributed data. As usual, it appears that Oleg got to the observation before i did, and this seems to be the basis of his ZFS file system.