mod125.hs:7:5: Not in scope: data constructor ‘T’