глазам своим не верю

Только что написал в коде

  type MayFail[T] = Either[XFail, T]
  implicit def success[T](t: T): MayFail[T] = Right(t)

Вот что монада животворящая с головой делает

7xx http codes

7xx-rfc