../../../../../../Prelude/Optional/head.dhall Natural [ None Natural, None Natural ]