Encoding/Decoding is not really customizable #6
Description
The settings fields encodeJson/decodeJson are currently ignored and default implementations are being used.
Reason: purescript/purescript#1957
For us the default encoding is fine, so if users want this fixed - a PR would be greatly appreciated!