Move types down to lens.