Error Categories in Effect

A pattern for grouping errors into categories in Effect