# Simple test case to check type inference on recursive equations

f = \x -> g x;
g = \x -> f (snd x, fst x);