@@ -20,7 +20,7 @@ const : a -> b -> a
20const x = \v => x
20const x = \v => x
22||| Return the first element of a pair.
22||| Return the first element of a pair.
23−fst : (s, t) -> s
23+fst : (a, b) -> a
24fst (x, y) = x
24fst (x, y) = x
26||| Return the second element of a pair.
26||| Return the second element of a pair.