# Pastebin IpHyyoeL
attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]
attrsIf x p = undefined

    • Illegal polymorphic type: forall r. Getting r a Bool
      GHC doesn't yet support impredicative polymorphism
    • In the expansion of type synonym ‘SimpleGetter’
      In the type signature:
        attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]
   |
   | attrsIf :: a -> [(SimpleGetter a Bool, Attribute)] -> [Attribute]