Tony Morris

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

@djspiewak @nuttycom @jdegoes @milessabin Yes, because I can't think of one and that will totally demonstrate your point!

@dibblego @djspiewak @nuttycom @jdegoes @milessabin In sbt, if you limit the category of types to a particular subset, there's Initialize[_]