Candidates for proto-lens-combinators