Do type providers provide you with semantics difference when type errors occur? If not (e.g. they don&#x27;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.