Some suggestion for "mutually recursive modules" problem.