ну, элемент это ф-ция, да

Я же пилю styled, мне по сути надо кушать все элементы

Я почти сделал, но тут столкнулся с такой проблемой

попробуй указать

type IProp r i = HH.IProp ("class" ∷ String | r) i

вместо HH.IProp в тайпалиасе Styled

Тааааак, уже интереснее

testa :: forall r p i. (Array (IProp r i) -> Array (HH.HTML p i) -> HH.HTML p i)
testa = HH.div

Хм, а такое универсально для любых элементов можно написать?

Мне нужно в итоге как функцию сохранять значение, что бы потом производить элементы

Поидее оно же должно работать, так как нижний тип соержит "class" :: String

хм, пока не понимаю
у меня jump to definition перестал работать прост) сек

я так понимаю HH.div (как и любой другой элемент) хочет, чтобы в роу были все перечисленные метки, а у нас только "class" + что угодно ещё (среди которого не факт, что есть нужные метки)

По идее должен же быть тип для любых типов HTML эле ментов

В эльме был

в halogen  есть ф-ция element

element :: forall p i. Maybe Namespace -> ElemName -> Array (Prop i) -> Array (HTML p i) -> HTML p i

A smart constructor for HTML elements.

—

div :: forall p i. Node I.HTMLdiv p i
div = element (ElemName "div")

div_ :: forall p i. Array (HTML p i) -> HTML p i
div_ = div []

dl :: forall p i. Node I.HTMLdl p i
dl = element (ElemName "dl")

dl_ :: forall p i. Array (HTML p i) -> HTML p i
dl_ = dl []

etc

где

type Node r p i = Array (IProp r i) -> Array (HTML p i) -> HTML p i

Да, запутано

ну, вроде по сигнатуре очень похоже на то, что тебе было нужно
это типа и есть "фабрика" элементов

Да, скорее всего, буду разбираться