Tony Morris

@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

@MosRobinson @puffnfresh @djspiewak Understand why newtype is a first improvement, and then why you can still go much further again.