++
JValue
\
MonadicJValue
\\
MonadicJValue
~
JsonAssoc
JsonListAssoc
~~
JsonAssoc
JsonListAssoc