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

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