documentation of recursive type definitions

lib/Type/Tiny/Manual/Libraries.pod

@@ -334,6 +334,27 @@ Even if you provide a coderef as a string, an inlining coderef has the
 potential to generate more efficient code, so you should consider
 providing one.
 
+=head2 Pre-Declaring Types
+
+  use Type::Library -base,
+    -declare => qw( Foo Bar Baz );
+
+This declares types B<Foo>, B<Bar>, and B<Baz> at compile time so they can
+safely be used as barewords in your type library.
+
+This also allows recursively defined types to (mostly) work!
+
+  use Type::Library -base,
+    -declare => qw( NumericArrayRef );
+  use Types::Standard qw( Num ArrayRef );
+
+  __PACKAGE__->add_type(
+    name     => NumericArrayRef,
+    parent   => ArrayRef->of( Int | NumericArrayRef ),
+  );
+
+(Support for recursive type definitions added in Type::Library 1.009_000.)
+
 =head2 Parameterizable Types
 
 This is probably the most "meta" concept that is going to be covered.

t/20-unit/Type-Library/recursive-type-definitions.t

@@ -1,3 +1,24 @@
+=pod
+
+=encoding utf-8
+
+=head1 PURPOSE
+
+Tests that types may be defined recursively.
+
+=head1 AUTHOR
+
+Toby Inkster E<lt>tobyink@cpan.orgE<gt>.
+
+=head1 COPYRIGHT AND LICENCE
+
+This software is copyright (c) 2020 by Toby Inkster.
+
+This is free software; you can redistribute it and/or modify it under
+the same terms as the Perl 5 programming language system itself.
+
+=cut
+
 use strict;
 use warnings;
 use Test::More;