Something like `decode "..." :: Maybe Value`? Wouldn't that defeat the purpose of having types?