So instead of having a structure like ``` Foo (Bar [(loc1,err1)])) ``` we would have something more like ``` [Bar (loc1,err1)] ``` or ``` [Err { pos=pos1, errType=Bar, errCtx=[Foo]}] ```