True, but isn't `NonEmptyList` a `Foldable1`? That means we could check that `nel.foldl1 == nel.list.reduceLeft`, can't we?