{"body":"\ntype family Checkbox a where\n  Checkbox \"disabled\" = Bool\n  Checkbox \"checked\" = Bool\n\nnewtype Prop name = Prop\n  { unProp :: Checkbox name\n  }\n\nmapKeys :: forall prop. (KnownSymbol prop, Show (Checkbox prop)) => TypeRepMap Prop -> [Maybe (Text, Maybe Text)]\nmapKeys testMap = match <$> keys testMap\n  where\n    match (SomeTypeRep (x :: TypeRep (Prop prop))) = Just (pack . show $ x, pack . show . unProp <$> Data.TypeRepMap.lookup @prop testMap)\n    match _ = Nothing\n\neval :: IO ()\neval =\n  print $ mapKeys $ insert (Prop @\"disabled\" True) Data.TypeRepMap.empty\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/JBELuISb","modified":1612702930,"id":"JBELuISb","size":565,"lines":18,"own_paste":false,"theme":"","date":1612702930}