a) it’s not really type inference in the conventio...
# announcements
s
a) it’s not really type inference in the conventional sense, b) you haven’t given it enough information to make an inference?