Tony Morris

@djspiewak @nuttycom @jdegoes @milessabin If you are going to suggest that it is clumsy to use I will throw Control.Lens at you.

@dibblego @nuttycom @jdegoes @milessabin Now who’s looking through a spyglass? (no pun intended)

@djspiewak @nuttycom @jdegoes @milessabin Show me an improvement and don't fail extremely hard. A little bit would be nice.

@dibblego @nuttycom @jdegoes @milessabin An improvement to Control.Lens? Or an improvement to typeclasses?

@djspiewak @nuttycom @jdegoes @milessabin Tell me what haskell gets wrong in this regard. Do not fail.

@dibblego @nuttycom @jdegoes @milessabin I’ve already listed a trivial example which proves the distinction is arbitrary.

@djspiewak @nuttycom @jdegoes @milessabin No, you really haven't. And worse, not even close.

@dibblego @nuttycom @jdegoes @milessabin Yes, I really have. Do you want me to instead show a type that has more than one valid Monad?