New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

In `Cat a b`, make `a` and `b` the same kind #51

Open

zliu41 opened this issue Apr 15, 2022 · 0 comments

Member

zliu41 commented Apr 15, 2022 •

edited

Loading

Context:

Greg Pfeil
Jan 24, 2021
I'm all for kind-polymorphism, but if we don't have to do it this way, I'd much rather see a and b have the same kind.

Ziyang Liu
Jan 24, 2021
I think we have to do it this way, in order to categorize

(name :: NameTy) -> ($fShowInt :: Show Int)
This would be converted to Cat (NameTy :: *) (Show Int :: Constraint).

Greg Pfeil
Jan 27, 2021
Ok, yeah. But could you add a task to the "future CCC" epic about this, and reference it from the Cat newtype or somewhere?

(Extricated from https://kitty-hawk.atlassian.net/browse/SW-3538)

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment