NonEmptyList: newtype derive Foldable1

Author: matthewleon

bower.json

@@ -21,7 +21,7 @@
   ],
   "dependencies": {
     "purescript-lazy": "^3.0.0",
-    "purescript-nonempty": "^4.0.0",
+    "purescript-nonempty": "matthewleon/purescript-nonempty#Foldable1",
     "purescript-tailrec": "^3.3.0",
     "purescript-unfoldable": "^3.0.0",
     "purescript-partial": "^1.0.0",
@@ -32,5 +32,8 @@
     "purescript-assert": "^3.0.0",
     "purescript-console": "^3.0.0",
     "purescript-math": "^2.0.0"
+  },
+  "resolutions": {
+    "purescript-nonempty": "Foldable1"
   }
 }

src/Data/List/Types.purs

@@ -204,11 +204,7 @@ derive newtype instance foldableNonEmptyList :: Foldable NonEmptyList
 
 derive newtype instance traversableNonEmptyList :: Traversable NonEmptyList
 
-instance foldable1NonEmptyList :: Foldable1 NonEmptyList where
-  fold1 (NonEmptyList (a :| as)) =
-    foldl append a as
-  foldMap1 f (NonEmptyList (a :| as)) =
-    foldl (\acc -> append acc <<< f) (f a) as
+derive newtype instance foldable1NonEmptyList :: Foldable1 NonEmptyList
 
 instance traversable1NonEmptyList :: Traversable1 NonEmptyList where
   traverse1 f (NonEmptyList (a :| as)) =