{"body":"attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]\nattrsIf x p = undefined\n\n    • Illegal polymorphic type: forall r. Getting r a Bool\n      GHC doesn't yet support impredicative polymorphism\n    • In the expansion of type synonym ‘SimpleGetter’\n      In the type signature:\n        attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]\n   |\n   | attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]\n","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/IpHyyoeL","modified":1612264834,"id":"IpHyyoeL","size":448,"lines":10,"own_paste":false,"theme":"","date":1612264834}