I am having some type inference issues in MTL. ```...

# arrow

[Imran/Malic]

I am having some type inference issues in MTL.

import arrow.core.Id
import arrow.core.ListK
import arrow.core.Option
import arrow.core.extensions.id.applicative.applicative
import arrow.core.extensions.list.traverse.traverse
import arrow.mtl.Reader
import arrow.mtl.extensions.kleisli.applicative.applicative

interface Context
interface Topic
interface Result

typealias Job<A> = Reader<Context, A>

fun processTopic(t: Topic): Job<Result> = TODO()
fun processTopics(topics: ListK<Topic>) = // The compiler bails here
  topics.traverse(Job.applicative(Id.applicative())) {
    processTopic(it)
  }

Can someone help me out?

[raulraja]

What is the actual error?

[Imran/Malic]

I made it work 🙂