Mitchell Dalvi Rosen

@ocharles Good question... I too am generally averse to ad-hoc overloading, and it would also be nice not to make a beginner's first-order FRP experience more complicated in service of...

Right; I think it does do something, namely, it generates code that avoids passing that dictionary at runtime.

I think (1) has small cost and small benefit. One thing I dislike is how there's not much that is generalizable to `MonadIO` this way. `reactive-banana` has many `IO` actions...

@archaephyrryx I think the idiomatic approach would be to: - Define a double-click in terms of an `Event Click` and an `Event Tick` (or `Event DeltaSinceLastTick`) - Tick at an...

Here is an example: ```haskell {-# language RecursiveDo #-} {-# language ScopedTypeVariables #-} import Reactive.Banana import Reactive.Banana.Frameworks import Control.Concurrent import Control.Monad import System.IO type Time = Int -- microseconds type...

@DevJac Does this example suffice? Perhaps I could try to get it added to `doc/examples` if it's what you were looking for.

@ocharles Would you accept a patch that made this change? If so, I'm happy to help.

I think something like [Dynamic](https://hackage.haskell.org/package/reflex-0.4.0/docs/Reflex-Dynamic.html) is useful here, which is just a `Behavior` paired with the `Event` that it is stepped by (note this is not the same thing as...

@Kritzefitz Are you still interested in getting this one through?

I've read over the implementation, and I think it looks 👍 overall, but I did find the encoding of the state of the network rather confusing to puzzle through. I...