Delaying type verification until entire declaration is parsed to allow for inference against multiple arguments