disco-0.1.0.0: lib/product.disco

using NoStdLib

fst : (a × b) → a
fst (a,_) = a

snd : (a × b) → b
snd (_,b) = b