David Feuer
David Feuer
It's been rather a while.
By analogy, perhaps we want `IxApply` instead.
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...
It may be too heavy a dependency, but ```haskell import Data.Singletons (Sing, SingI (..)) instance SingI a => Boring (Sing a) where boring = sing ```
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...