@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 An utterly useless example of a type with two (both valid!) monads: http://pastebin.com/C6WX8kkP
@djspiewak @nuttycom @jdegoes @milessabin Yes thanks. Note demonstrate the connection to your conclusion. No failing.
-
-
@dibblego@nuttycom@jdegoes@milessabin My conclusion is far less broad than you think it is. -
@djspiewak@nuttycom@jdegoes@milessabin if it is anything but multiple instances per type is outrageous, then no. - Show replies
New conversation -
-
-
@dibblego@nuttycom@jdegoes@milessabin My conclusion is simply that the distinction between these two monads is *arbitrary*.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego@nuttycom@jdegoes@milessabin The reason for this is the defn of a typeclass is almost never unambiguous given laws and types -
@djspiewak@nuttycom@jdegoes@milessabin You can change almost never to never. It's still completely beside the point. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.