Improve setup hook turning it side-effect free

[klarkc]

Maybe we should improve setup hook using a custom type as a free monad instead of Effect.

Free monads updates a value on each code evaluation, creating a returning final value, it seems to fit our use case.

That final value would be Either Render Binding