module MutRec where

x = y

y = x