Instance Default Template

Default.def === Monoid.mempty