gadt11.hs:9:3:
    Data constructor ‛B1’ returns type ‛X []’
      instead of an instance of its parent type ‛B a’
    In the definition of data constructor ‛B1’
    In the data declaration for ‛B’