Structured request errors, more monadic requests