purescript-deprecated/purescript-inject

Merge into purescript-functors?

Opened this issue · 1 comments

Thimoteus commented
Merge into purescript-functors?
garyb commented

I think it probably should be, as there are potentially various useful Injects, but restricted by type since they're essentially closed. Also they might vary in kind, Data.Functor.Coproduct.Inject, Data.Either.Inject, etc.