++

JValue

\

MonadicJValue

\\

MonadicJValue

~

JsonAssoc JsonListAssoc

~~

JsonAssoc JsonListAssoc