5 class plusa a b c :: a b -> c
6 instance plusa Int Int Int where (plusa) x y = x + y
8 //Overloading error: internal overloading of "plusa" could not be solved
10 //Start = plusa 4 (plusa 4 4)
12 class plusb a b ~c :: a b -> c
13 instance plusb Int Int Int where (plusb) x y = x + y
15 Start = plusb 4 (plusb 4 4)