diff --git a/src/error.rs b/src/error.rs
new file mode 100644
index 0000000..7e0f050
--- /dev/null
+++ b/src/error.rs
@@ -0,0 +1,173 @@
+use std::fmt::{Debug, Display};
+
+use regex::Regex;
+
+use super::Cause;
+
+#[derive(Debug, PartialEq, Default, Clone)]
+pub struct Error<E>(Vec<Cause<E>>);
+
+impl<E: Display> Display for Error<E> {
+    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
+        f.write_str("Validation Error\n")?;
+        let errors = self.as_vec();
+        for error in errors {
+            f.write_str(format!("{} {}", '\u{2022}', error.message).as_str())?;
+            if !error.trace.is_empty() {
+                f.write_str(
+                    &(format!(
+                        " [{}]",
+                        error
+                            .trace
+                            .iter()
+                            .cloned()
+                            .collect::<Vec<String>>()
+                            .join(", ")
+                    )),
+                )?;
+            }
+            f.write_str("\n")?;
+        }
+
+        Ok(())
+    }
+}
+
+impl<E> Error<E> {
+    pub fn as_vec(&self) -> &Vec<Cause<E>> {
+        &self.0
+    }
+
+    pub fn combine(mut self, mut other: Error<E>) -> Error<E> {
+        self.0.append(&mut other.0);
+        self
+    }
+
+    pub fn empty() -> Self {
+        Error(Vec::new())
+    }
+
+    pub fn new(e: E) -> Self {
+        Error(vec![Cause::new(e)])
+    }
+
+    pub fn is_empty(&self) -> bool {
+        self.0.is_empty()
+    }
+
+    pub fn trace(self, message: &str) -> Self {
+        let mut errors = self.0;
+        for cause in errors.iter_mut() {
+            cause.trace.insert(0, message.to_owned());
+        }
+        Self(errors)
+    }
+
+    pub fn append(self, error: E) -> Self {
+        let mut errors = self.0;
+        errors.push(Cause::new(error));
+        Self(errors)
+    }
+
+    pub fn transform<E1>(self, f: &impl Fn(E) -> E1) -> Error<E1> {
+        Error(self.0.into_iter().map(|cause| cause.transform(f)).collect())
+    }
+}
+
+impl<E: Display + Debug> std::error::Error for Error<E> {}
+
+impl<E> From<Cause<E>> for Error<E> {
+    fn from(value: Cause<E>) -> Self {
+        Error(vec![value])
+    }
+}
+
+impl<E> From<Vec<Cause<E>>> for Error<E> {
+    fn from(value: Vec<Cause<E>>) -> Self {
+        Error(value)
+    }
+}
+
+impl From<serde_path_to_error::Error<serde_json::Error>> for Error<String> {
+    fn from(error: serde_path_to_error::Error<serde_json::Error>) -> Self {
+        let mut trace = Vec::new();
+        let segments = error.path().iter();
+        let len = segments.len();
+        for (i, segment) in segments.enumerate() {
+            match segment {
+                serde_path_to_error::Segment::Seq { index } => {
+                    trace.push(format!("[{}]", index));
+                }
+                serde_path_to_error::Segment::Map { key } => {
+                    trace.push(key.to_string());
+                }
+                serde_path_to_error::Segment::Enum { variant } => {
+                    trace.push(variant.to_string());
+                }
+                serde_path_to_error::Segment::Unknown => {
+                    trace.push("?".to_owned());
+                }
+            }
+            if i < len - 1 {
+                trace.push(".".to_owned());
+            }
+        }
+
+        let re = Regex::new(r" at line \d+ column \d+$").unwrap();
+        let message = re
+            .replace(
+                format!("Parsing failed because of {}", error.inner()).as_str(),
+                "",
+            )
+            .into_owned();
+
+        Error(vec![Cause::new(message).trace(trace)])
+    }
+}
+
+impl From<http::header::InvalidHeaderValue> for Error<String> {
+    fn from(error: http::header::InvalidHeaderValue) -> Self {
+        Error::new(error.to_string())
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use pretty_assertions::assert_eq;
+    use stripmargin::StripMargin;
+
+    use crate::{Cause, Error};
+
+    #[derive(Debug, PartialEq, serde::Deserialize)]
+    struct Foo {
+        a: i32,
+    }
+
+    #[test]
+    fn test_error_display_formatting() {
+        let error = Error::from(vec![
+            Cause::new("1").trace(vec!["a", "b"]),
+            Cause::new("2"),
+            Cause::new("3"),
+        ]);
+        let expected_output = "\
+        |Validation Error
+        |• 1 [a, b]
+        |• 2
+        |• 3
+        |"
+        .strip_margin();
+        assert_eq!(format!("{}", error), expected_output);
+    }
+
+    #[test]
+    fn test_from_serde_error() {
+        let foo = &mut serde_json::Deserializer::from_str("{ \"a\": true }");
+        let actual = Error::from(serde_path_to_error::deserialize::<_, Foo>(foo).unwrap_err());
+        let expected = Error::new(
+            "Parsing failed because of invalid type: boolean `true`, expected i32".to_string(),
+        )
+        .trace("a");
+        assert_eq!(actual, expected);
+    }
+}