http://www.w3.org/ns/prov#value | - Especially with monads present, I sometimes know at least part of my code is correct more certainly than I know my types are correct, and after the program (or a well understood subset) compiled, GHCi can give me the correct type signatures.
|