lens-aeson patched are now on hackage