<https://chris.watchchrisblog.com/2020/12/feynman-cove-unboxing-automatic-eta.html>
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://chris.watchchrisblog.com/2020/12/feynman-cove-unboxing-automatic-eta.html>