Unifying description of type checker and Arbitrary-like producing logic.