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