dhall-1.11.0: tests/normalization/examples/List/head/0B.dhall

[ 0 ] : Optional Integer