Top level: Not in scope: type constructor or class `Test2'