Kotlin лямбда с явным возвращаемым типом

У меня есть следующие классы Котлина:

sealed class Result {
  data class Success()
  data class Failure()
}

class Single<R>(val value: R?, throwable: Throwable?) {
  fun map(mapper: (R) -> T): Single<T> {
    return Single(mapper(value!!), null)
  }
  fun onError(recover: (Throwable) -> T): Single<T> {
    return Single(recover(throwable!!))
  }
}

А у меня есть такая функция:

fun handle(single: Single<String>): Single<Result> {
  return single
    .map { Single.Success() }
    .onError { Single.Error() }
}

Но onError не справляется с:

Type Mismatch.
  Required: Single.Success
  Found:    Single.Error

Я понимаю, что могу обойти это с помощью:

fun handle(single: Single<String>): Single<Result> {
  return single
    .map { Single.Success() as Single<Result> }
    .onError { Single.Error() as Single<Result> }
}

Но я предпочитаю, чтобы вывод типов работал как можно больше слева направо. То есть, я бы предпочел, чтобы лямбда { Single.Success() } указывала явный тип возвращаемого значения.

Разрешен ли явный тип возвращаемого значения в Котлине? функцияЛитеральная грамматика делает вид, что не может, но я не эксперт в чтении грамматики.