Base · base.bend:151
import Base
151def Pair.fst(-A: Type, -B: Type, p: A & B) -> A: 152 (a, b) = p 153 a