Hello Arrow people! Following this presentation from Runar (<https://youtu.be/hmX2s3pe_qk?t=1494>) I...

# arrow

[Anton K]

Hello Arrow people! Following this presentation from Runar (

https://youtu.be/hmX2s3pe_qk?t=1494▾

) I was trying to reimplement the code written in Scala from the presentation (Free Monad + BolAlg) in Kotlin with Arrow. Unfortunately I got stuck 😕 In particular I do not understand what should be the type of s parameter in Suspend ? You can find my implementation here: https://github.com/kuschanton/fp-in-kotlin/blob/master/src/main/kotlin/fp/kotlin/monad/free/Expr03.kt
Any help appreciated 🙂
Kind regards,
Arrow newbie

[Anton K]

PS: I’m pretty sure that the type in the picture should be: F[Free[F,A]]

[pakoito]

Kind<F, Exp<F, A>>

[pakoito]

or Free<F, A> , either way

[raulraja]

https://github.com/arrow-kt/arrow-incubator/blob/eb1c0492c7cea04e9cd1482841bbb86c675ce7eb/arrow-free-data/src/main/kotlin/arrow/free/Free.kt

[Anton K]

Thank you for the answers @pakoito @raulraja 🙌