:< package:text

Bidirectional pattern synonym for cons (O(n)) and uncons (O(1)), to be used together with Empty.