PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The first example of an arrow that is not a monad that comes to mind is the set of self-optimising parsing combinators that helped inspire arrows in the first place.
http://www.w3.org/ns/prov#wasQuotedFrom
  • lambda-the-ultimate.org