diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt
index 76a428fb..581d9a56 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/simple.rkt
@@ -1,6 +1,8 @@
 #lang racket/base
 
 ;; Static contracts that are terminal and have no sub parts.
+;; Unlike contracts defined with define-terminal-contract, equality of these contracts is based solely
+;; on identity. Thus they are most useful for contracts which have no meaningful structure.
 ;; Ex: (flat/sc #'number?)
 
 (require