Type checking in Tester:eq