Simple sketch of the FromJSON instance generator