type inference could bring in some type you know n...
# general
h
type inference could bring in some type you know nothing about