use lenses for IRC types