fst3(a,b,c) = a
snd3(x,y,z) = y

thd3 :: (a,a,a) -> a
thd3(x,y,z) = z