A type for the classic try/catch statement, inspired by the Try type in Scala.