b5b03751832cc37eb5be9409d9efba4882935611Christian Maederfree type Pair ::= Pair (fst : a; snd : b)
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederop f (a : a; b: b) : Pair = Pair (a, b)
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederop g : Pair ->? a
b5b03751832cc37eb5be9409d9efba4882935611Christian Maederprogram g(Pair (a, b)) = a