first2second (x:xs) (y:ys) z | (z == x)  = y
                             | otherwise = first2second xs ys z

:type first2second
first2second :: Eq a => [a] -> [b] -> a -> b

Grazie al meccanismo della currificazione implicita nelle definizioni
di funzioni in Haskell.