diff --git a/src/Data/Abstract/Type.hs b/src/Data/Abstract/Type.hs
index 464b493b4..cc2cdae77 100644
--- a/src/Data/Abstract/Type.hs
+++ b/src/Data/Abstract/Type.hs
@@ -20,6 +20,7 @@ data Type
   deriving (Eq, Ord, Show)
 
 -- TODO: Do we need both TArr and :->?
+-- TODO: À la carte representation of types.
 
 
 -- | Unify two 'Type's.