Html.Type

type a > b

data (a :@: b) c

data a # b

(#)

type family (a :: Element) ?> b :: Constraint where ...

type family (a :: Element) ??> b :: Constraint where ...

data a := b

data Raw a

data Attribute

data Element