Optional は暗黙の型変換は許す、サブタイピングは許さない、がちょうど良い着地点な気がする。