Various combinators don't make sense for infallible errors. We should try to produce compile-time errors for: ```scala uio orElse zio // Error! uio catchAll f uio catchSome f uio.option uio.either uio retry s // etc ```