Switch to visible type applications

[sigma-andex]

Switch to visible type applications to make it easier to work with Variants

[jmatsushita]

Hey thanks, I was looking for this. However, since this approach breaks backward compatibility, how about instead introducing inj' prj' on' variants () that take VTAs?

If purescript-variant was ok with making a breaking release, then here's two libraries that would need to be fixed upstream (that I can identify in my codebase) are:

• purescript-codec-argonaut that would also require a breaking change to allow variantCase to take a VTA as well.

EDIT: turns out it didn't garyb/purescript-codec-argonaut@master...jmatsushita:purescript-codec-argonaut:master

• purescript-simple-json would also require a couple of patches here and here.

EDIT here's a patch for this too justinwoo/purescript-simple-json@master...jmatsushita:purescript-simple-json:master

[i-am-the-slime]

Not my library, but I hate function names with 's on them. For my own projects I have a VTA version of inj called as which I find much more beginner-friendly: as @"xyzException" 123
Or 123 # as @"xyzException".

[srghma]

or inj prj on - new type applications
but injProxy prjProxy onProxy - old proxies way