Type arguments syntax?

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 :slightly_smiling_face:

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.


Looking forward to it