在purescript-dom中，如何将节点转换为特定的元素类型？

cast :: forall a. Node -> Maybe (Element a)

import DOM (cast, element, text)
import DOM.HTML.Types (Element, HTMLElement, HTMLDivElement)

-- 获取需要转换的节点
node :: Node
node = element "div" [text "Hello, World!"]

-- 将节点转换为特定的元素类型
main :: Effect Unit
main = case cast node of
  Just divElement -> do
    -- 在这里可以使用转换后的元素进行操作
    -- 例如，设置元素的属性、样式等
    setAttribute "class" "my-div" divElement
  Nothing -> do
    -- 转换失败的处理逻辑
    log "Failed to cast node to div element"
  where
    setAttribute :: String -> String -> Element a -> Effect Unit
    setAttribute attr value el = do
      let htmlElement = unsafeCoerce el :: HTMLElement
      setAttribute' attr value htmlElement

    setAttribute' :: String -> String -> HTMLElement -> Effect Unit
    setAttribute' attr value el = do
      el.setAttribute attr value
      pure unit