:< package:optics-core

Pattern synonym for matching on the leftmost element of a structure.
>>> case ['a','b','c'] of (x :< _) -> x
'a'