Some mutually recursive modules