would it be theoretically possible to support type...
# announcements
c
would it be theoretically possible to support type inference on arguments that have a default value?