diff --git a/examples/src/Generics.jet b/examples/src/Generics.jet
new file mode 100644
index 00000000000..3801dfac301
--- /dev/null
+++ b/examples/src/Generics.jet
@@ -0,0 +1,39 @@
+namespace generics;
+
+import java.util.*
+
+class Box<T>(t: T) {
+    var value = t
+}
+
+fun isIntBox(box: Box<out Any?>): Boolean {
+    return box is Box<Int>;
+}
+
+abstract class Source<out T> {
+  fun nextT() : T
+}
+
+fun demo(strs : Source<String>) {
+  val objects : Source<Any> = strs // This is OK, since T is an out-parameter
+  // ...
+}
+
+fun singletonList<T>(item: T): List<T> {
+    val result = ArrayList<T>()
+    result.add(item)
+    return result
+}
+
+//fun <T> T.basicToString(): String {
+//    return typeinfo(this) + "@" + System.identityHashCode(this)
+//}
+
+fun main(args: Array<String>) {
+    val box: Box<Int> = Box<Int>(1)
+    System.out?.println(box.value)
+    System.out?.println(if (isIntBox(box)) "int" else "not int");
+
+    val singleString: List<String> = singletonList<String>("foo")
+    System.out?.println(singleString.get(0))
+}
diff --git a/examples/src/JavaInterop.jet b/examples/src/JavaInterop.jet
new file mode 100644
index 00000000000..311d2c1233b
--- /dev/null
+++ b/examples/src/JavaInterop.jet
@@ -0,0 +1,9 @@
+namespace JavaInterop
+
+import java.util.*
+
+fun main(args: Array<String>) {
+    val list = ArrayList<String>()
+    list.add("foo")
+    System.out?.println(list[0])
+}