Export user-specified monoid comonad defaults