Hey everyone, I'm looking at <http://kategory.io/d...

# arrow

[ersin_ertan]

Hey everyone, I'm looking at http://kategory.io/docs/patterns/error_handling/

inline fun <reified F> attack(ME: MonadError<F, NukeException> = monadError()): HK<F, Impacted> =
  monadError.bindingE {
    val nuke = arm().bind()
    val target = aim().bind()
    val impact = launch(target, nuke).bind()
    yields(impact)
  }

but type inference fails at monadError.bindingE and inline fun <reified F> launch(ME: MonadError<F, NukeException> = monadError()): HK<F, Impacted> = ME.raiseError(MissedByMeters(5)) is not taking in two values.