(_, _) -> _

and
return