-
-
Notifications
You must be signed in to change notification settings - Fork 15
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.
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
@functor
for parametric constructors
#40
Comments
I suppose the solution is to dispatch on the |
You could, although it is also possible to simply make a constructor that can additionally take the parametric types or not using internal constructors if possible. |
Can't you use the same approach as in #6 (comment)? |
Yeah, that's cleaner than dispatching |
If any macro wizard knows how to do this, would be happy to take a PR! |
Suppose I have a type
Then using
will not manage to capture the
T1
type:using
is not helping more
The text was updated successfully, but these errors were encountered: