Proposal: export more from Data.Kind

[chessai]

+1

On Sun, Aug 2, 2020, 9:10 AM Krzysztof Gogolewski <krz.gogolewski at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20200802/305c3e6d/attachment.html>