Bump dependencies

  adjunctions -> 4.1
  lens -> 4.3.3

etc