Do type providers provide you with semantics difference when type errors occur? If not (e.g. they don't tell you about arity mismatch citing relevant part of aw

Do type providers provide you with semantics difference when type errors occur? If not (e.g. they don't tell you about arity mismatch citing relevant part of awl query), then they are inferior to the method of expression of queries in type level.