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

[klarkc]

Pros:

• Bugfree, side-effect free code evaluation
• Better documentation of the API

Cons:

• We'll need to use monad trasformer to lift from Effect sometimes (have no idea if it's possible)

[klarkc]

We can eliminate the need of a monad transformer using qualified do:

count :: Unwrap "count" Int
count = ref 0

-- ?bind ma \a -> ?bind (foo a) \b -> ?bind (bar b) \c -> finalResult c

setup :: Setup Binding
setup = PureVue.do
  count
  ...