GitLab

head.hackage suggests that singletons no longer builds with master.

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.