lens HEAD re-exports Gettable. Using it