dhall-1.14.0: tests/normalization/examples/Optional/head/0A.dhall

../../../../../Prelude/Optional/head
Natural
[ []    : Optional Natural
, [ 1 ] : Optional Natural
, [ 2 ] : Optional Natural
]