David Feuer

Add singletons

4

It may be too heavy a dependency, but ```haskell import Data.Singletons (Sing, SingI (..)) instance SingI a => Boring (Sing a) where boring = sing ```

Background threads can survive ^C

2

I honestly have no idea whether this is a problem in `HSpec`, `hedgehog`, or `hspec-hedgehog`, so I figured I'd start here. I'm running a small test suite testing pure code...

Test non-GHC code

2

Many modules use GHC special features when compiled with GHC. Our tests don't currently verify that things will work under other hypothetical compilers. I think we can approximate this by...

Add "Unsafe" modules

6

The API currently exposes a few functions that break the abstraction barrier and sometimes allow the construction of invalid structures. We should collect those in separate modules, with the hope...

`Tree`, `ViewL`, `ViewR`, `Seq`, `Map`, and `SCC` could all be given optimized `traverseBia` implementations using `RULES`. Aside from `Seq` and its views, these are pretty trivial.

Currently, the `Arbitrary` instance for `NonEmpty` generates a nonempty list and then converts it to a `NonEmpty`: ```haskell liftArbitrary arb = NonEmpty.fromList listOf1 arb ``` This isn't very nice, since...