An alternative for empty row

[xgrommx]

In purescript I can write smth like

type RowApply (f :: # Type -> # Type) (a :: # Type) = f a

infixr 0 type RowApply as +

type X r = (a :: Integer | r)
type Y r = (b :: String | r)

-- type Z = X + Y + ()

But in hamler () is Unit type. What is an alternative for empty row in hamler?

And also how about smth like https://pursuit.purescript.org/builtins/docs/Prim in hamler?

I mean classes for Row, RowLists, etc

[xgrommx]

Any updates?

[xgrommx]

I will try it again, any updates?)

[5HT]

I would close this Issue as non-essential :-)