Is there a type arguments syntax or do I need to use Proxy?
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
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.
Looking forward to it