diff --git a/types.zig b/types.zig
new file mode 100644
index 0000000..ec2e0fd
--- /dev/null
+++ b/types.zig
@@ -0,0 +1,11 @@
+const std = @import("std");
+const assert = std.debug.assert;
+
+test "types are values" {
+    const T1 = u8;
+    const T2 = bool;
+    assert(T1 != T2);
+
+    const x: T2 = true;
+    assert(x);
+}