Better definition for Data.String.NonEmpty.CodeUnits.fromFoldable1

src/Data/String/CodeUnits.purs

@@ -297,9 +297,9 @@ dropWhile :: (Char -> Boolean) -> String -> String
 dropWhile p s = drop (countPrefix p s) s
 
 -- | Returns the substring at indices `[begin, end)`.
--- | If either index is negative, it is normalised to `length s - index`,
--- | where `s` is the input string. `""` is returned if either
--- | index is out of bounds or if `begin > end` after normalisation.
+-- | If either index is negative, it is normalised to `length s + index`,
+-- | where `s` is the input string. `""` is returned if
+-- | `begin > end` after normalisation.
 -- |
 -- | ```purescript
 -- | slice 0 0   "purescript" == ""

src/Data/String/NonEmpty/CodeUnits.purs

@@ -91,10 +91,7 @@ snoc c s = toNonEmptyString (s <> CU.singleton c)
 -- | Creates a `NonEmptyString` from a `Foldable1` container carrying
 -- | characters.
 fromFoldable1 :: forall f. Foldable1 f => f Char -> NonEmptyString
-fromFoldable1 = F1.fold1 <<< coe
-  where
-    coe ∷ f Char -> f NonEmptyString
-    coe = unsafeCoerce
+fromFoldable1 = unsafeCoerce <<< F1.foldMap1 CU.singleton
 
 -- | Converts the `NonEmptyString` into an array of characters.
 -- |