Tony Morris

@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

@ssanj A monad is any of: trait Monad[F[_]] extends Functor[F] { def bind[A, B](f: A => F[B]): F[A] => F[B]; def unit[A]: A => F[A] }

@dibblego @ssanj Careful--being accustomed to subtyping, you may have a warped sense of what "is a" means.