T5385.hs:3:16: error: [GHC-35373]
    In the import of ‘T5385a’:
      an item called ‘(:::)’
      is exported, but it is a data constructor of
      ‘T’.
    Suggested fix:
      Use
        import T5385a ( T( (:::) ) )
      or
        import T5385a ( T(..) )