Maybe_aとNonEmpty_aの違い