sheaf

Here are some other facts about inequalities which I needed but the plugin couldn't handle: ```haskell lt1_is_Zero :: KnownNat n => (1

@hsyl20 Maybe something like the following: ```haskell data HFix (f :: (k -> Type) -> (k -> Type)) :: k -> Type where HFix :: f (HFix f) a ->...

With `cabal` you can include the following in your `cabal.project` (or `cabal.project.local`): ``` source-repository-package type: git location: https://github.com/haskus/packages tag: 27b2eee849a3d6fd052f9c0450d69309b3c29d82 subdir: haskus-utils-variant haskus-utils-types haskus-utils-data ```

I don't know exactly what you want, but I expect it would look something like this ```haskell type Var a = a data ConstF expr a where ConstF :: Int...

It should be rather similar to what hsyl20 said in a [previous comment](https://github.com/haskus/packages/issues/16#issuecomment-569913557): implement it via a typeclass, with one instance for each constructor, one instance for the variant type,...

> Great work. How sure are we that existing Configure type builds will keep working as before? I've built stackage with a patch that contains these changes and it has...

> Looks good. Let me summarise: > > * we leave `autoconfUserHooks` as it is > > * we introduce `autoconfSetupHooks` to expose the same logic (in `runConfigureScript`) with the...

I believe this is now possible with a per-component pre-build hook, using `build-type: Hooks`.

> > I believe this is now possible with a per-component pre-build hook, using `build-type: Hooks`. > > Is there documentation for this new build type somewhere? It's going to...

> There are at least two parts of this process that aren't directly supported by Cabal: > > * Generating multiple artifacts (a static library and an `.hsc` file) by...