% Propagation [FIXME] We need guidelines on how to layer error information up a stack of abstractions. Error interoperation [FIXME] [FIXME] Document the FromError infrastructure.