diff --git a/trivial/README.md b/trivial/README.md
index d096beb..eef246f 100644
--- a/trivial/README.md
+++ b/trivial/README.md
@@ -9,3 +9,9 @@ Project Structure
 - `*.rkt` Front-ends for specific libraries
 - `*/` Front-ends for the no-colon versions of specific libraries, like `(require format/no-colon)`
 
+
+Note: transformations do not have access to type information because Typed
+ Racket seems to keep type information in an external table.
+
+Could try to import the table, but its probably not populated at the time.
+If only types were stored as interned syntax properties!