Helps writing recursive algorithms on Value, for example:

stripNulls :: Value -> Value
stripNulls = cata (embed . f)
 where
   f (ObjectF a) = ObjectF $ HM.filter (== Null) a
   f x = x