Type T Clause Samples

Type T. The one-object type, and representative of a true proposition. The intuition behind T is that since the proposition is true for obvious reasons, there is no need for more than one trivial proof.