hello, I’m trying to figure-out Free monads using ...

# arrow

[Paolo Gavočanov]

hello,
I’m trying to figure-out Free monads using Arrow, going through https://typelevel.org/cats/datatypes/freemonad.html, seems to me like the implementation in Arrow is based on cats.
I’m kind of stuck on how to implement https://typelevel.org/cats/datatypes/freemonad.html#use-a-pure-compiler-optional, using the state monad.

Can anyone please help me figure out at least how the signature for the natural transformation would look like using Arrow?

thnx in advance