Category: well-typed