exists specialized for type - PureScript

Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.

Matei Adriel

Btw, why is Exists from the purescript-exists lib specialized for Type? Cant we make it polymorphic over the kind of the type argument



Description of the change With polymorphic kinds, Exists can be generalized to quantify over types of kind other than Type. I don't believe there's any disadvantage to doing so. Checklist:...