On Thu, Aug 9, 2012 at 6:00 AM, Timo von Holtz <timo.v.holtz@gmail.com> wrote:
instance Num a => Test a where
  foo = return 1

instance Test Int where
  foo = return 2

Erm, this isn't going to work anyway, is it?  I think the first instance matches all types and then throws an error if the result isn't an instance of Num?

--
brandon s allbery                                      allbery.b@gmail.com
wandering unix systems administrator (available)     (412) 475-9364 vm/sms