1 2 3 4 5 6 7 8 9 10 11
module MutRec where -- Mutual recursion with different -- names for the same type variable f t = x where x :: [a] y :: b (x,y,z,r) = ([y,z], z, head x, t)