Top level: Not in scope: data constructor ‘Test2’