Simple examples of defining JSON with the JsonLike typeclass