tripleFirst

Lens to focus into the first value of a Triple