Re: Proposal: export more from Data.Kind

+1 On Sun, Aug 2, 2020, 9:10 AM Krzysztof Gogolewski 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