import "Prelude" inc :: Ring a => a -> a inc x = x + 1 main :: Double main = inc 34 -- 35.0