Re: [Haskell-cafe] Capitalization and associated type families

On Tue, Aug 5, 2008 at 12:22 PM, Brian Hulley wrote:

unfortunately there is no corresponding protection when writing types inside class decls:

class Zap aaaaa where g :: aaaaa -> aaaa ^ oops!

Well, I think there's a pretty good protection; instances usually won't typecheck until it's fixed. -- ryan