Tony Morris

@ssanj Imagine all the code in the world disappeared. Integer is (still) naturally ordered. Either[T, _] is a monad. Neither are implemented

@dibblego so what is your definition of Monad?

@ssanj Integer satisfies the contract of natural ordering, even if the entire Earth exploded and we were alone all along.

@dibblego can we have an instance of the Monad type class in Haskell without defining bind?

@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