T6129.hs:12:11:
    Data constructor ‘DInt’ cannot be used here
      (it comes from a data family instance)
    In the first argument of ‘X’, namely ‘DInt’
    In the type ‘X DInt’
    In the definition of data constructor ‘X1’