В предыдущем вопросе (Возможно ли это ?: Поведение t [Поведение t a] -> Поведение t [a]) мы анализировали существованиеBehavior join (использоватьreactive-banana условия).

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

Реализовано в семантической модели следующим образом

type Behavior t a = t -> a

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

Осуществлять это напрямую было бы неудачно, так как мы могли быBehavior Monad с помощьюconst а такжеbehaviorNowесли и какbehaviorNow нарушать семантику FRP?

Я хотел бы услышать ответы, используя терминологию любой другой системы FRP, а также сравнения, если они имеют смысл.