Tony Morris

@rickasaurus @missingfaktor @mandubian @djspiewak @larsr_h so composing modules recursively is a welcome feature ..

@debasishg @missingfaktor @mandubian @djspiewak @larsr_h Perhaps you could have both with something like extension methods

@rickasaurus @debasishg @mandubian @djspiewak @larsr_h .. below it - http://www.haskellforall.com/2012/05/scrap-your-type-classes.html ….

@missingfaktor @debasishg @mandubian @djspiewak @larsr_h The "Value-level programming is safer" point is enlightened I think

@rickasaurus @debasishg @mandubian @djspiewak @larsr_h Yep.

@missingfaktor @debasishg @mandubian @djspiewak @larsr_h They might be more focused on practical safety than the haskell community

@rickasaurus @missingfaktor @debasishg @mandubian @djspiewak @larsr_h you just fell in a trap that I once did too.

@dibblego @rickasaurus I don't understand what notion of safety is being discussed. Scala has instance incoherency issues. Unscalable.