_:n9cbe00d45487496a925f4552911832ffxb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.mpi-sws.org/lczch/iris/-/blob/2a92f2659d05f5ea4d51226d865b02be143e4e1b/theories/proofmode/class_instances.v>