Re: Polymorphic recursive calls possible via type classes

[hudak-paul]

  I haven't tried it in Haskell,
  but it should either be illegal or cause the type-checker to enter an
  infinite loop.  (Hmmm!  Maybe someone should try it ...)
  

Yes, after all, everyone knows that a language is defined by its
implementation... (:-)

-Paul