Deriving Distributive Laws for Graded Linear Types