docs: function renderResult(a) {
    return a.cata({
      Success: function() {
        return success('✓ ' + a.name()) }
    , Failure: function(_, ex) {
        return failure('✗ ' + a.name()) + '\n'
             + faded(pad(2, '[' + ex.name + ']: ' + ex.message)) }
    , Ignored: function() {
        return ignored('⚪ ' + a.name()) }
    }) + logs(a)
  }