Tony Morris

@ssanj Bzzt, Either is a monad in Scala. Either[T, _] specifically. It's just not implemented.

@dibblego bind/flatMap is part of the Monad contract. Either does not have flatMap in Scala. You need to use the left and right projections.

@ssanj The absence or presence of implementation has no bearing on "is a monad."

@dibblego I thought Monad was a contract. Is that not the case? What makes a Monad?

@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?