Tony Morris

@ssanj "X is a monad" is answerable by inspection of the structure of X, not searching for a witness to the fact.

@dibblego what is the structure of a Monad?

@ssanj Exactly as you think it is.

@dibblego from what you've just said, I don't know what that is. I might have to pick your brain when I see you next. #monadwhyuhateme

@ssanj with associativity on bind and unit the identity for bind.

@dibblego doesn't that mean you need a "bind" function?

@ssanj No, it means the structure satisfies a particular shape. The implementation witnesses the fact. It does not alter the fact itself.

@dibblego are u saying Monads are not merely a computing construct but a behaviour that satisfies certain laws?