extract the first element of a tuple using monomorphic Lens
extract the first element of a tuple using polymorphic Lens_
extract the second element of a tuple using monomorphic Lens_
extract the second element of a tuple using polymorphic Lens_
synonym for _1P
synonym for _2P
swap the elements of a Tuple