Update README

julianpeeters · Dec 15, 2023 · 0fe8894 · 0fe8894
1 parent f8c63e0
commit 0fe8894
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -4,9 +4,9 @@ Common typeclasses, but parameterized by `A` instead of `F[_]`.
 
 ### Why?
 
-For example, if the compiler knows that a type `A`, is, at a call site, an
-`Option[T]`, then `destructured`'s typeclasses can be used to summon cats
-typeclasses for the underlying `Option`:
+For example, if the compiler knows that a type `A`, is, at a call site, a
+subtype of `Option[?]`, then `destructured`'s typeclasses can be used to summon
+cats typeclasses for the underlying `Option`:
 
 ```
 A.pure("hello, world")