Messy first complete version.  Assumes each piece of evidence from the Measurer is a Haskell ByteString