diff --git a/Examples.md b/Examples.md
index cc2afc3..1467df0 100644
--- a/Examples.md
+++ b/Examples.md
@@ -1004,4 +1004,7 @@ let Foo
     baz: Baz x: x2, y: y2
     = aFoo
 ```
-as the spirit moves you.
\ No newline at end of file
+as the spirit moves you.
+
+#### if-let
+It seems the only new point relevant to Husht that arises here is the need to try to do auto-import for destructuring if-let (and maybe just destructuring lets as well), so that if Foo is a enum with variants Bar and Baz, and `a` is of type Foo, then you can write just `if let Bar = a ...` rather than `if let Foo::Bar = a ...`.