David makes a very good point here. That perhaps they should first stabilize a bit more before being exposed through there 

On Sun, Aug 2, 2020 at 12:12 PM David Feuer <david.feuer@gmail.com> wrote:
My impression is that RuntimeRep may not have stabilized all the way yet. There are things that work for LiftedRep and UnliftedRep that want to be polymorphic that way.

On Sun, Aug 2, 2020, 12:10 PM Krzysztof Gogolewski <krz.gogolewski@gmail.com> wrote:
Hello,

I'd like to export TYPE, RuntimeRep(..), Multiplicity(..) from Data.Kind.
(Multiplicity is the Linear Haskell type - One and Many.)

Currently you have to import GHC.Exts / GHC.Types which conflicts with
Safe Haskell. I think both levity and linearity polymorphism
should be available under Safe Haskell.

Data.Kind already contains Constraint and Type.

-Krzysztof
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries