search

jcpetruzza / barbies

BSD 3-Clause "New" or "Revised" License
92 stars 15 forks source link

Make barbies polykinded #8

Closed jcpetruzza closed 5 years ago

jcpetruzza commented 5 years ago

Generalizes barbies from being types of kind (Type -> Type) -> Type to kind (k -> Type) -> Type.

See #7

vapourismo commented 5 years ago

I tested this for my use case from #7 and this works very nicely. Thank you!