I think that if you permit, but don't require, type information, then there is little practical difference between failing typechecking at compile time and mere

I think that if you permit, but don't require, type information, then there is little practical difference between failing typechecking at compile time and merely issuing warnings.