Tony Morris

@MosRobinson @puffnfresh @djspiewak Use newtype instead.

@dibblego @puffnfresh @djspiewak but that changes the interface of my module, doesn't it?

@MosRobinson @puffnfresh @djspiewak I'm genuinely disinclined to debunk every ridiculous idea on the internet and I'm sympathetic, not sorry

@dibblego @puffnfresh @djspiewak I'd be happy to read a paper - or even an argument - but saying "they're bad, use newtype" is useless

@MosRobinson @puffnfresh @djspiewak and this is why I don't bother on twitter. I didn't say that. I gave several examples of improvement.

@dibblego @puffnfresh @djspiewak I don't see any improvement in your examples, only that they're not using orphans

@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