PureScript 0.15 support

[ntwilson]

Would you accept a PR for changes to support PureScript v0.15? I think the biggest change is swapping out RLProxy for just Proxy (and I would think making Proxy used concretely everywhere instead of a type parameter now that it is the canonical proxy type)

[joneshf]

Sorry about the very delayed response. I haven't actually seen what changed in 0.15.x, but I think what you propose sounds good. Lemme take a minute to get up to speed first on how things work here again (haven't looked at this package in over a year).

[mengwong]

The error I'm seeing is

Error found:
in module Option
at .spago/option/8506cbf1fd5d5465a9dc990dfe6f2960ae51c1ab/src/Option.purs:155:1 - 155:46 (line 155, column 1 - line 155, column 46)

  Module Type.Data.RowList was not found.
  Make sure the source file exists, and that it has been provided as an input to the compiler.


See https://github.com/purescript/documentation/blob/master/errors/ModuleNotFound.md for more information,
or to contribute content related to this error.

Type.Data.RowList appears to have gone away.

The same error message came up in foreign-generic, too.

[mengwong]

It appears that https://github.com/jmatsushita/purescript-option/tree/upgrade-codec solves this