fact: Definition comma_before (b : bool) (s : showM) : showM := if b then cat (show_exact ",") s else s.
imports: List String ExtLib.Structures.CoMonad ExtLib.Programming.Show ExtLib.Data.Monads.IdentityMonad ExtLib.Structures.Monads