Base · base.bend:142
import Base
142def Pair(-A: Type, -B: Type) -> Type: 143 Sigma<&1, &1, A, _ => B>