David Feuer

Make a release?

3

It's been rather a while.

Is IxPointed the right thing to split out?

1

By analogy, perhaps we want `IxApply` instead.

Add indexed Traversable

1

There are notions of mapping, folding, and traversing available for type-aligned sequences: ``` haskell class TAMappable t where tmap :: (forall x y . c x y -> d x...

The indexed equivalent of `Control.Applicative.Backwards.Backwards`: ``` haskell newtype IxBackwards m i j a = IxBackwards {ixForwards :: m j i a} instance IxFunctor f => IxFunctor (IxBackwards f) where imap...

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...