Implement restrictions of generic modules