Tony Morris

@puffnfresh in F# we call them computation expressions, but they can do some extra stuff

@rickasaurus @puffnfresh problem is F# misses the practical purpose of monads, to abstract on all monads.

@dibblego @puffnfresh it sort of separates the monadic type from the code rewriting machinery in an interesting way though.

@rickasaurus @puffnfresh if it is the insignificant, superficial detail left after removal of all practical purpose, what is interesting?

@dibblego @puffnfresh I think that's a bit unfair. F# had comprehensive async before haskell after all.

@rickasaurus @puffnfresh Haskell is not the point. F# completely misses the practical purpose of monads. Like C#.

@dibblego @puffnfresh For example, we'd all very much like GATDs, but there's no obvious and fast way to implement them.

@rickasaurus @puffnfresh in the meantime let's not point to F# as a practical implementation of the concept "monad." It's not.