BehaviorG has no Monad instance

[uzytkownik]

Despite being documented as Monad BehaviorG have no monad instances.

[conal]

Replying to uzytkownik:

Despite being documented as Monad BehaviorG have no monad instances.

Documented where/how?

The "Push-Pull FRP" paper (Section 5.4) describes the desirability of having a Monad instance and what it would necessarily mean (following the principle of semantic functions as type class morphism principle), as well as describing a fundamental difficulty in implementing such an instance.

[uzytkownik]

Replying to conal:

Replying to uzytkownik:

Despite being documented as Monad BehaviorG have no monad instances.

Documented where/how? The "Push-Pull FRP" paper (Section 5.4) describes the desirability of having a Monad instance and what it would necessarily mean (following the principle of semantic functions as type class morphism principle), as well as describing a fundamental difficulty in implementing such an instance.

It's semantics is mentioned in haddock. "The semantics of BehaviorG instances are given by corresponding instances for the semantic model (functions). See http://conal.net/blog/posts/simplifying-semantics-with-type-class-morphisms/." implies for me that the instances do exists rather (I'm not a native speaker however).