There is no type inference for function calls

[sumanthyedoti]

• This leads to wrong output when called with wrong type
  • or stack overflow for functions with pattern matching