how does the type inference solution look like?
# announcements
p
how does the type inference solution look like?