diff --git a/doc/todo/RevertableProperty_with_NoInfo.mdwn b/doc/todo/RevertableProperty_with_NoInfo.mdwn
index e9c1eb5..3b4a61a 100644
--- a/doc/todo/RevertableProperty_with_NoInfo.mdwn
+++ b/doc/todo/RevertableProperty_with_NoInfo.mdwn
@@ -16,14 +16,3 @@ a mouthful!
 Since only 2 places in the propellor source code currently need to deal
 with this, it doesn't currently seem worth making the change, unless a less
 intrusive way can be found.
-
-Probably related would be to make RevertableProperty a constructor in the
-Property GADT, which would allow more property combinators to work on
-RevertableProperties. That would look like:
-
-	data Propety i where
-		...
-		RProp :: Property i1 -> Property i2 -> Property (CInfo i1 i2)
-
-In this case, there's only one Info/NoInfo encompassing both sides, and
-so ensureProperty could only be used on it if both sides were NoInfo.