Data.Distributive.Generic