Tony Morris

@MosRobinson @puffnfresh @djspiewak No, it's just a well-accepted inductive argument. Bad ideas never believed good are not worth a paper.

@dibblego @puffnfresh @djspiewak that's bullshit

@MosRobinson @puffnfresh @djspiewak Which?

@dibblego @puffnfresh @djspiewak given there are papers saying "local instances are useful, let's do them", a rebuttal would be valuable

@MosRobinson @puffnfresh @djspiewak I know of no such thing, except for some Scala nonsense not worth considering. Which do you mean?

@dibblego @puffnfresh @djspiewak the relation to orphaned instances is interesting. I use orphan instances for QuickCheck.Arbitrary or ppr

@MosRobinson @puffnfresh @djspiewak Honestly, I'd rather have the discussion about how to turn that into practice. First, dismiss bad ideas.

@dibblego @puffnfresh @djspiewak need orphan type classes for that, otherwise forced to put instances with data declarations