From b8487aa0d4fc2609244d2ee4232bd9d9890c88c3 Mon Sep 17 00:00:00 2001
From: greg <greg.shuflin@protonmail.com>
Date: Mon, 10 Sep 2018 21:01:46 -0700
Subject: [PATCH] Add note from Sergei W. on subtyping

---
 TODO.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/TODO.md b/TODO.md
index 15452c1..0010990 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,6 +1,9 @@
 
 # TODO Items
 
+- a subtype is a situation where the compiler is entitled to add a type conversion in the type-checking process
+b/c that type conversion doesn't correspond to a computation 
+    -Sergei W.
 
 *A neat idea for pattern matching optimization would be if you could match on one of several things in a list
 ex: