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