Elaborate a bit about Set.new and my %s is Set

Noting the new parameterization feature as available since 2019.01

Author: lizmat

doc/Type/Set.pod6

@@ -50,12 +50,45 @@ keys mapped to values which boolify to C<False> are skipped:
     say $n.keys.map(&WHAT);  # OUTPUT: «((Str) (Str))␤»
 
 Furthermore, you can get a C<Set> by using set operators (see next section) on
-objects of other types such as L<List|/type/List>, which will internally call C<.Set>
-on them before performing the operation. Be aware of the tight precedence of
-those operators though, which may require you to use parentheses around arguments:
+objects of other types such as L<List|/type/List>, which will act like they
+internally call C<.Set> on them before performing the operation. Be aware of
+the tight precedence of those operators though, which may require you to use
+parentheses around arguments:
 
     say (1..5) (^) 4;  # OUTPUT: «set(1, 2, 3, 5)␤»
 
+Of course, you can also create a C<Set> with the C<.new> method.
+
+    my $fruits = Set.new( <peach apple orange apple apple> );
+
+Since 6.d (2019.01 and later) you can also use this syntax for parameterization
+of the C<Set>, to specify which type of values are acceptable:
+
+    # only allow strings (Str) in the Set
+    my $fruits = Set[Str].new( <peach apple orange apple apple> );
+
+    # only allow whole numbers (Int) in the Set
+    my $fruits = Set[Int].new( <peach apple orange apple apple> );
+    # Type check failed in binding; expected Int but got Str ("peach")
+
+Finally, you can create Set masquerading as a hash by using the C<is> trait:
+
+    my %s is Set = <a b c>;
+    say %s<a>;  # True
+    say %s<d>;  # False
+
+Since 6.d (2019.01 and later), this syntax also allows you to specify the
+type of values you would like to allow:
+
+    # limit to strings
+    my %s is Set[Str] = <a b c>;
+    say %s<a>;  # True
+    say %s<d>;  # False
+
+    # limit to whole numbers
+    my %s is Set[Int] = <a b c>;
+    # Type check failed in binding; expected Int but got Str ("a")
+
 =head1 Operators
 
 Perl 6 provides common set operators, which can take C<Set>s (or any other
@@ -92,4 +125,4 @@ L<Sets, Bags, and Mixes|/language/setbagmix>
 
 =end pod
 
-# vim: expandtab softtabstop=4 shiftwidth=4 ft=perl6
+# vim: expandtab softtabstop=4 shiftwidth=4 ft=perl6