Text this: Presenting Distributive Laws