The point is for map3 to still be generic across a...
# announcements
d
The point is for map3 to still be generic across all of the Ts that satisfy the type constraint.