[Haskell] Re: Mixing monadic and non-monadic functions

[Aaron Denney]

On 2005-09-08, John Meacham <john at repetae.net> wrote:
> of course, we can't do this because Num has Ord and Show as superclasses
> when it really doesn't need to. (we would have to create a separate
> class for 'pattern matchable nums' if we got rid of those, but that is
> no problem other than being non-haskell-98 compatable). Solving this
> 'class inflexibility' problem in general is something I have given some
> thought too. I will let everyone know if I figure something out...

Has anyone found any problem with your "superclasses" proposal?
http://repetae.net/john/recent/out/supertyping.html

-- 
Aaron Denney
-><-