{"body":"attrsIf :: a -> [(Getting Bool a Bool, Attribute)] -> [Attribute]\nattrsIf x p = snd <$> filter (flip view x . fst) p\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/kGdxXJIa","modified":1612265172,"id":"kGdxXJIa","size":117,"lines":2,"own_paste":false,"theme":"","date":1612265172}