Inconsistent types

[oded-dd]

The current dhall-kubernetes does not give a generic way for the object type of kubernetes E.g. configMap.core.v1.data which is of type object under the kubernetes API documentation is translated to data : List { mapKey : Text, mapValue : Text } which does not support nested map Values (https://github.com/dhall-lang/dhall-kubernetes/blob/master/types/io.k8s.api.core.v1.ConfigMap.dhall)

dhall 9 now supports weakly-typed JSON (#586) which should solve the issue. Is there a plan to support it?

[arianvp]

Thanks for raising this issue.

I think This is a duplicate of #74

I think weakly typed JSON for object types is indeed the way to go .