Vladislav Zavialov

This should unbreak `morte` in nixpkgs: https://github.com/Gabriel439/Haskell-Morte-Library/pull/88

Travis failure is unrelated to the changes in this PR and was fixed in #147, a rebase should make the check go green.

Seems to be an issue with Prometheus metrics, not Hackage Search itself

This command seems a bit too long compared to `hadrian/build -j --flavour=Quick`. If this is the recommended way to do development, maybe we want `--flavour=Dev` or something that would be...

It's been more than 2 weeks. How long does the approval process take?

> without knowing what `a` is Is this a necessary restriction? `Sigma` contains a singleton, so pattern matching on it should reveal what `a` is. Here's an idea. Define a...

I've tackled this issue and there's a blocker: `Demote`. Parameters to GADTs are often of kinds other than `*`, or even kind-polymorphic, so that's what we've got to solve first....

> if you restrict yourself to GADTs which have monomorphic kinds, does the problem become easier? Yes, then we could figure out when to apply `Demote` and when not to....

For a length-indexed vector: ``` type Demote (Vec n a) = Vec n (Demote a) ``` For higher-order kinds I don't know what to do. If we have `Foo ::...

@RyanGlScott Check out my changeset here: https://github.com/int-index/singletons/commit/e39178bfbf9255177aad38baf2e5642196807835 With it in place, I managed to compile this code: ``` {-# OPTIONS -ddump-splices #-} {-# LANGUAGE TypeInType, ScopedTypeVariables, TypeFamilies, GADTs, InstanceSigs, UndecidableInstances...