View Source ExUnitProperties.Error exception (StreamData v0.5.0)