https://catholicism.org/what-is-a-type.html
What is a 'Type'?