En una pregunta anterior de SO (¿Es posible ?: Comportamiento t [Comportamiento t a] -> Comportamiento t [a]) estábamos analizando la existencia de unBehavior join (usarreactive-banana condiciones).

Behavior t (Behavior t a) -> Behavior t a

Implementado en el modelo semántico de la siguiente manera.

type Behavior t a = t -> a

behaviorNow :: Behavior t (Behavior t a) -> Behavior t a
behaviorNow f t = f t t

Aunque implementar esto directamente sería desafortunado ya que podríamos producir unBehavior Monad utilizandoconst ybehaviorNow, si y como lo hacebehaviorNow ¿Viola la semántica de FRP?

Me encantaría escuchar las respuestas utilizando la terminología de cualquier otro sistema de FRP junto con comparaciones si son significativas.