Use the dependencies’ Box and Either types.
Use Either for error reporting.
Types are Printable.