Top level: Not in scope: data constructor `Test2'