{"body":"prop ::\n  forall field f structure inner.\n  ( KnownSymbol field,\n    HasField' (AppendSymbol \"_\" field) (HKD structure f) (f (Maybe inner)),\n    Applicative f\n  ) =>\n  inner ->\n  HKD structure f ->\n  HKD structure f\nprop a x = x & field @(AppendSymbol \"_\" field) .~ pure (Just a)\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/CH0Hbfku","modified":1612552449,"id":"CH0Hbfku","size":280,"lines":10,"own_paste":false,"theme":"","date":1612552449}