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

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	There is a problem: overlap is not generally allowed for type families!! (The first ShowPred instance makes all others redundant.) There is a good reason for this, but it is not helpful here.
http://www.w3.org/ns/prov#wasQuotedFrom	haskell.org