3 ms·Option[Option[String]]? Is this a Church Numeral?by junke 10y agoOption[Option[String]]? Is this a Church Numeral?