mod125.hs:7:5: error:
    Data constructor not in scope: T
    Suggested fix:
      Perhaps you want to remove ‘T’ from the explicit hiding list
      in the import of ‘Mod125_A’ (mod125.hs:4:1-26).