vardic

gistfile1.hs

class VardicSum r where
    sums :: Integer -> r

instance VardicSum Integer where
    sums x = x

instance (Integral a, VardicSum b) => VardicSum (a -> b) where
    sums x y = sums (x + toInteger y)

main = do
    putStr . show $ (sums 5 5 5 5 :: Integer)
    putStr "\n"
    putStr . show $ (sums 5 5 5 :: Integer)
    putStr "\n"