_:n94e2f42d64dc4ec4ae7199b6d0a7fe46xb1
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<https://gitlab.mpi-sws.org/paulzhu/tutorial-popl20/-/commit/8090352b2f114591af298161a28246c84e2b7903?view=inline>