ref: 7d2f32a9e5e2b27faa217fd3d9d2d2092f052861
dir: /tests/Infer.hs/
module Infer(main) where a = 'x' f x = x g x = [x,a] h x = x + 1 xeven 0 = True xeven n = xodd (n-1) xodd 0 = False xodd n = xeven (n-1) main = do print a print (f (1::Int)) print (f a) print (h (1::Int)) print (even (2::Int))