f p = fst p `func` snd p

f p =    fst p .= snd p