bump upper bounds, upgrade Lens
redundant TH
implement server protocols