Tony Morris

@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

@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