PolyKinds07.hs:10:11:
    Data constructor ‘A1’ cannot be used here
      (it is defined and used in the same recursive group)
    In the first argument of ‘B’, namely ‘A1’
    In the type ‘B A1’
    In the definition of data constructor ‘B1’