Tony Morris

@djspiewak (actually, full stop may be able to be removed if you're talking about dependent types, dunno yet)

@puffnfresh @djspiewak what's so bad about local typeclasses?

@MosRobinson @puffnfresh @djspiewak Zero benefit, huge penalty. Any claimed benefit comes by pitting against a limited imagination.

@dibblego @puffnfresh @djspiewak can you point me to any papers on the cost/lack of benefit?

@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