W poprzednim pytaniu SO (Czy to możliwe ?: Zachowanie t [Zachowanie t] -> Zachowanie t [a]) analizowaliśmy istnienieBehavior join (używaćreactive-banana warunki).

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

Zaimplementowano w modelu semantycznym w następujący sposób

type Behavior t a = t -> a

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

Choć bezpośrednie wdrożenie tego byłoby niefortunne, ponieważ moglibyśmy wyprodukowaćBehavior Monad za pomocąconst ibehaviorNow, jeśli i jak to robibehaviorNow narusza semantykę FRP?

Chciałbym usłyszeć odpowiedzi przy użyciu terminologii dowolnego innego systemu FRP wraz z porównaniami, jeśli mają znaczenie.