haskell - FRPにおける「今の行動」

Question

以前の SO の質問 ( Is it possible?: Behavior t [Behavior ta] -> Behavior t [a] ) では、(用語Behavior joinを使用するために) a の存在を分析していました。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使用してconstandを生成できるため、 FRP のセマンティクスに違反するbehaviorNow場合、およびどのように違反しますか?behaviorNow

他の FRP システムの用語を使用した回答と、意味がある場合の比較を聞きたいです。