Graded distributive modules