About: http://webisa.webdatacommons.org/99894050

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Edit: So, for example, since Maybe is a value at the type-level it can be passed to other functions at the type-level, like monad transformers.
http://www.w3.org/ns/prov#wasQuotedFrom	reddit.com