You can proof other things beside extensions. For ...
# arrow-contributors
r
You can proof other things beside extensions. For example unions: