singletons broken by Quick Look
head.hackage suggests that
singletons no longer builds with
src/Data/Singletons/Sigma.hs:61:10: error: * Expected kind `k0', but `Sigma' has kind `forall s -> (s ~> *) -> *' Cannot instantiate unification variable `k0' with a kind involving polytypes: forall s -> (s ~> *) -> * * In the type `Sigma' In the type declaration for `?' | 61 | type ? = Sigma | ^^^^^ cabal: Failed to build singletons-2.6 (which is required by test-singletons-1.0). See the build log above for details.
This change seems to be correlated with the merge of Quick Look.