[Haskell-cafe] Capitalization and associated type families

[Ryan Ingram]

On Tue, Aug 5, 2008 at 12:22 PM, Brian Hulley <brianh at metamilk.com> 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