typecheck debugging left