[Haskell-cafe] Capitalization and associated type families

Ryan Ingram ryani.spam at gmail.com
Tue Aug 5 15:54:07 EDT 2008

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

More information about the Haskell-Cafe mailing list