for the first use generics: `(T1, T2) -> R`
# announcements
v
for the first use generics:
(T1, T2) -> R