Unlifted standard classes about linear-base HOT 2 OPEN

The reason for this is simple: linear-base has existed for longer than -XUnliftedDatatypes.

I haven't thought of what it would take to have better support for unlifted datatypes. What would you like to see?

PS: does the difference in performance persists if you use foldl' instead of foldl in the lifted case?

from linear-base.

foldl' does better than just foldl, but the unlifted version keeps the lead.

benchmarking Fold Lifted Prime/Left
time                 48.69 μs   (48.18 μs .. 49.43 μs)
                     0.998 R²   (0.997 R² .. 0.999 R²)
mean                 48.32 μs   (47.86 μs .. 49.13 μs)
std dev              1.773 μs   (1.192 μs .. 2.662 μs)
variance introduced by outliers: 39% (moderately inflated)

benchmarking Fold Unlifted/Left
time                 11.47 μs   (11.25 μs .. 11.70 μs)
                     0.997 R²   (0.995 R² .. 0.999 R²)
mean                 11.48 μs   (11.34 μs .. 11.78 μs)
std dev              672.5 ns   (467.2 ns .. 1.016 μs)
variance introduced by outliers: 68% (severely inflated)

Both Unlifted and Linear features are elephants. It is logical they started in separated sandboxes, but eventually they should merge gradually. I would start with redefining basic classes such Show, Ord etc one by one in linear-base or reimporting from Unboxed.

from linear-base.