<https://blog.pengyifan.com/functional-programming-for-the-result-of-us-4/#webpage>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://blog.pengyifan.com/functional-programming-for-the-result-of-us-4/>