def second

import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness

import Base

88def second(~Left: Type,~Right: Type,pair: Left & Right) -> Right:
89  (left,right) = pair
90  right

Uses (2)