Nice - perhaps there's some kind of equivalence (or at least similarity) between lenses and those migrations. Thanks for the response!