我目前有这个循环的代码和每个KnownNat n的数组，然后遍历嵌套数组，使每个textMax :: forall n. KnownNat n => Text -> Maybe (TextMax n)
textMax t
| Text.length t <= (fromIntegral $ natVal (Proxy :: Proxy n)) = Just (TextMax t)
| otherwise = Nothing
和帐户类型。我试图使用以下代码将select的默认值设置为第一个嵌套数组的第一个帐户类型：
optgroup我正在使用option将默认选项设置为第一个嵌套数组中的第一个帐户类型，但由于某种原因，这不起作用。
我很感激如何解决这个问题。
另外，我不想对[（ngModel）]使用双向绑定。
由于