# Pastebin AQpoUnML
newtype KnownSymbol s => Prop s f a = Maybe (f a)

data Checkbox' f = Checkbox'
  { _checkboxChecked' :: Prop "checked" f Bool,
    _checkboxDisabled' :: Prop "disabled" f Bool,
    _checkboxHideLabel' :: Prop "hide-label" f Bool,
    _checkboxIndeterminate' :: Prop "indeterminate" f Bool,
    _checkboxName' :: Prop "name" f Text,
    _checkboxValue' :: Prop "value" f Text
  } deriving (Generic)