DefaultMonoids

playjson

doubleR

Rules

doubleW

Writes