Is there a type arguments syntax or do I need to use Proxy?
1 Like
Do you have an example of what you mean by a “type argument”?
The answer is probably yes, you need a proxy! But I just want to be sure I understand what you’re asking 
1 Like
Haskell’s TypeApplications
1 Like
There’s a proposal for this: https://github.com/purescript/purescript/issues/3137#issuecomment-586639459 I think it will probably happen at some point, although I’m not sure when.
3 Likes
Looking forward to it
2 Likes