I’ve already asked the question here github.com/dhall-lang/dhall-haskell/issues/2463
And it contains a non-working example.
Edit: I investigated this a bit more and my problem has nothing to do with enum values. It seems instead that Dhall doesn’t accept extensions without argument. But still it type checks.