inlined TH splices for lens, due to bug with older TH and Any type