T5716a.hs:10:27:
    Data constructor ‘Bar’ cannot be used here
      (it comes from a data family instance)
    In the type ‘(Bar a)’
    In the definition of data constructor ‘Bar’
    In the data instance declaration for ‘DF’