render (literal "al" <> literal "ga") :: (IsString s, Monoid s) => s render (literal "al" <> literal "ga") == "alga" render mempty == mempty render . literal == id