Could not deduce (Representable (TracedT s f))

[nomeata]

Thanks for the upload. Unfortunately, it does not build here

Building universe-0.4.0.4...
Preprocessing library universe-0.4.0.4...
[1 of 8] Compiling Data.Universe.Helpers ( Data/Universe/Helpers.hs, dist-ghc/build/Data/Universe/Helpers.o )
[2 of 8] Compiling Data.Universe    ( Data/Universe.hs, dist-ghc/build/Data/Universe.o )

Data/Universe.hs:144:30:
    Could not deduce (Representable (TracedT s f))
      arising from a use of `tabulate'
    from the context (Representable f,
                      Finite s,
                      Ord s,
                      Finite (Key f),
                      Ord (Key f),
                      Universe a)
      bound by the instance declaration
      at Data/Universe.hs:(142,10)-(143,35)
    Possible fix:
      add an instance declaration for (Representable (TracedT s f))
    In the first argument of `map', namely `tabulate'
    In the expression: map tabulate universe
    In an equation for `universe': universe = map tabulate universe

Data/Universe.hs:144:39:
    Could not deduce (Finite (Key (TracedT s f)))
      arising from a use of `universe'
    from the context (Representable f,
                      Finite s,
                      Ord s,
                      Finite (Key f),
                      Ord (Key f),
                      Universe a)
      bound by the instance declaration
      at Data/Universe.hs:(142,10)-(143,35)
    Possible fix:
      add an instance declaration for (Finite (Key (TracedT s f)))
    In the second argument of `map', namely `universe'
    In the expression: map tabulate universe
    In an equation for `universe': universe = map tabulate universe

Data/Universe.hs:194:31:
    Could not deduce (Representable (TracedT s f))
      arising from a use of `tabulate'
    from the context (Universe (TracedT s f a),
                      Representable f,
                      Finite s,
                      Ord s,
                      Finite (Key f),
                      Ord (Key f),
                      Finite a)
      bound by the instance declaration
      at Data/Universe.hs:(192,10)-(193,33)
    Possible fix:
      add an instance declaration for (Representable (TracedT s f))
    In the first argument of `map', namely `tabulate'
    In the expression: map tabulate universeF
    In an equation for `universeF': universeF = map tabulate universeF

Data/Universe.hs:194:40:
    Could not deduce (Finite (Key (TracedT s f)))
      arising from a use of `universeF'
    from the context (Universe (TracedT s f a),
                      Representable f,
                      Finite s,
                      Ord s,
                      Finite (Key f),
                      Ord (Key f),
                      Finite a)
      bound by the instance declaration
      at Data/Universe.hs:(192,10)-(193,33)
    Possible fix:
      add an instance declaration for (Finite (Key (TracedT s f)))
    In the second argument of `map', namely `universeF'
    In the expression: map tabulate universeF
    In an equation for `universeF': universeF = map tabulate universeF

The versions used in Debian currently are:

Configuring universe-0.4.0.4...
Dependency base ==4.*: using base-4.6.0.1
Dependency comonad-transformers >=0.1 && <4.0: using
comonad-transformers-3.0.1
Dependency containers >=0.1 && <1: using containers-0.5.0.0
Dependency keys >=0.1 && <4: using keys-3.10
Dependency mtl >=1.0 && <2.2: using mtl-2.1.2
Dependency representable-functors >=2.4 && <3.3: using
representable-functors-3.2.0.2
Dependency transformers >=0.2 && <0.4: using transformers-0.3.0.0
Dependency void >=0.1 && <0.7: using void-0.5.11

[dmwit]

Okay, per our IRC discussion, this seems to be an issue building against newer representable-functors code than is available on Hackage. I'm glad to be aware of this, but probably won't do anything about it for a little bit -- at least until the next release of representable-functors.

Thanks for the detailed report!

[nomeata]

Sure; and sorry for not mentioning that earlier. One sometimes loses oversight trying to orchestrate 600 Haskell libraries...

[dmwit]

Representable is now provided by the adjunctions package, and universe-instances-extended builds with the latest version of adjunctions. So I'm closing this.