error-or Composable, hierarchical errors. Capture all the errors by using the Applicative instance Add error context to results from lower level with 'tag'