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