module test

import StdEnv

class plusa a b c :: a b -> c
instance plusa Int Int Int where (plusa) x y = x + y

//Overloading error: internal overloading of "plusa" could not be solved
//Start :: Int
//Start = plusa 4 (plusa 4 4)

class plusb a b ~c :: a b -> c
instance plusb Int Int Int where (plusb) x y = x + y

Start = plusb 4 (plusb 4 4)