Right now, the errors are not great. It's either a unit (), string String or SDoc... We ideally have proper typed errors that we can pattern match! We have a few, but most of the codebase does not... I think the first step is to push everything towards SDoc! This is at least descriptive for an end user. After this, we can move the SDoc into the Outputable instance of a proper, typed error. These errors should be in the spirit of "plucking" as described here: https://www.parsonsmatt.org/2020/10/27/plucking_in_plucking_out.html.
Right now, the errors are not great. It's either a unit
(), stringStringorSDoc... We ideally have proper typed errors that we can pattern match! We have a few, but most of the codebase does not... I think the first step is to push everything towardsSDoc! This is at least descriptive for an end user. After this, we can move theSDocinto theOutputableinstance of a proper, typed error. These errors should be in the spirit of "plucking" as described here: https://www.parsonsmatt.org/2020/10/27/plucking_in_plucking_out.html.