Tony Morris

@pelotom @dibblego @puffnfresh Monad as map + flatten instead of point + flatMap; lifting may indicate you're doing something wrong?

@nuttycom @dibblego Point is part of the definition of Monad. There are purely monadic functions that you can't write without it.

@pelotom @nuttycom The point is that point is nowhere near as useful as is often (and this case) made out. It is also in the way a lot.

@dibblego @nuttycom That may be, but sometimes it is necessary.

@pelotom @nuttycom If you would just change "sometimes" to "rarely" and then also accept how much it also gets in the way…

@dibblego @pelotom @nuttycom how do you implement e.g sequence for monads without point/return?

@EyalL @pelotom @nuttycom You don't, you implement sequence1 http://hackage.haskell.org/packages/archive/semigroupoids/latest/doc/html/Data-Semigroup-Traversable.html …

@dibblego do you consider sequence "rarely" useful as opposed to sequence1?