If we introduce inference of return types, then we
need to infer and check the types for A again. This
may be an argument for not introducing inference of
return types (only of patterns and guards)
Interesting! This is probably the big thing I’m looking forward to but knew there had to be a catch 
That totally makes sense, though. Thanks for the question, @shahryarjb, and thanks for the answer, José.
