Multiply Recursive Modules