Tony Morris

@MosRobinson @puffnfresh @djspiewak All I can say is, try it, learn from it, discuss it with others, try to form a solid position.

@dibblego @puffnfresh @djspiewak yeah, I have a solid position. from experience and reading papers, I know orphan instances can be useful

@MosRobinson @puffnfresh @djspiewak Show me a case where you believe they are useful. Please also put some effort into it.

@dibblego @puffnfresh @djspiewak eg https://github.com/amosr/fuzzgraph/blob/master/Graph/Arbitrary.hs … , because I don't want Graph.Base to depend on QuickCheck

@MosRobinson @puffnfresh @djspiewak and you honestly cannot think of a better way?

@dibblego @puffnfresh @djspiewak no, I wrapping it in a newtype would be no better, and moving it into Graph.Base would be messy

@MosRobinson @puffnfresh @djspiewak Ugh please. That is a really big example of fail. There are many improvements possible here.

@dibblego @puffnfresh @djspiewak I don't believe you, but I'm willing to listen if you actually tell me anything