{"body":"newtype KnownSymbol s => Prop s f a = Maybe (f a)\n\ndata Checkbox' f = Checkbox'\n  { _checkboxChecked' :: Prop \"checked\" f Bool,\n    _checkboxDisabled' :: Prop \"disabled\" f Bool,\n    _checkboxHideLabel' :: Prop \"hide-label\" f Bool,\n    _checkboxIndeterminate' :: Prop \"indeterminate\" f Bool,\n    _checkboxName' :: Prop \"name\" f Text,\n    _checkboxValue' :: Prop \"value\" f Text\n  } deriving (Generic)\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/AQpoUnML","modified":1612457935,"id":"AQpoUnML","size":399,"lines":10,"own_paste":false,"theme":"","date":1612457935}