This is cool stuff, developed by the same group that first did Unison (a synching utility that I have grown addicted to). The basic point is being able to defi

This is cool stuff, developed by the same group that first did Unison (a synching utility that I have grown addicted to). The basic point is being able to define maps between data structures and then being able to update either end of the map and see the results transformed on the other - which is what Unison does at the filesystem/machine level; this is the same concept taken to the data structure level. It's hard stuff to get right, but it is so tantalizing.