Migrations and Lenses