dhall-1.19.0: tests/parser/success/constructorsB.dhall

[
  13,
  [
    11,
    {
      "Left": "Natural",
      "Right": "Bool"
    }
  ]
]