Why yet another FailType?